Title: Algebraic and Logic Programming
First published: January 1991
Subjects: Logic programming, Congresses, Algebraic logic