A Method for Implementing Equational Theories as Logic Programs.

Mantis H. M. Cheng, Douglas Stott Parker Jr., Maarten H. van Emden

Browse the full ICLP paper archive.