Characterization of terminating logic programs (1986)

by T Vasak, J Potter
Venue:In Proceedings of the Third IEEE Int’l Symp. on Logic Programming