Equational Logic Programming (1995)

by M J O'Donnell
Venue:Handbook of Logic in Artificial Intelligence and Logic Programming