Title: Algebraic and logic programming
First published: 1988
Subjects: Congresses, Logic programming, Algebraic logic
LC classification: QA76.6