Title: Logic, algebra, and computation
Subjects: Logic programming, Computational complexity, Congresses, Algebra