Language and equality theory in logic programming (1991)

by J C Shepherdson