Title: Foundations of Equational Logic Programming
Subjects: Logic programming