A finite presentation theorem for approximating logic programs (1990)

by N Heintze, J Jaffar
Venue:In Proceedings of the 17th Annual ACM Symposium on Principles of Programming Languages