Generating ecient, terminating logic programs (1997)

by J Martin, A King
Venue:In Proceedings of TAPSOFT'97, number 1214 in Lecture Notes in Computer Science