Compiling Logic Programs with Equality (1990)

by M Hanus
Venue:In Proc. of the 2nd Int. Workshop on Programming Language Implementation and Logic Programming