A system of precise modes for logic programs (1987)

by Z Somogyi
Venue:In In Proceedings of the Fourth International Conference on Logic Programming