Notes on transformation techniques for generate and test logic programs (1987)

by H Seki, K Furukawa
Venue:In Proceedings of the Fourth IEEE Symposium on Logic Programming