Title: Algebraic and logic programming
Subjects: Logic programming, Congresses, Algebraic logic