Towards a framework for abstract interpretation of logic programs (1988)

by U Nilsson
Venue:In Proceedings of the First International Workshop on Programming Language Implementation and Logic Programming