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