Recursive modes for precise analysis of logic programs (1997)

by J Tan, I Lin
Venue:Proceedings of the 14th International Logic Programming Symposium