Compiling Associativity into Logic Programs (1987)

by D R Brough, C J Hogger
Venue:J. Logic Programming