Compiling Associativity into Logic Programs

Derek R. Brough, Christopher J. Hogger. Compiling Associativity into Logic Programs. Journal of Logic and Algebraic Programming, 4(4):345-359, 1987.

Bibliographies