Theory of complete logic programs with equality (1984)

by J Jaffar, J L Lassez, M J Maher
Venue:Journal of Logic Programming