On the Safe Termination of PROLOG Programs.

Krzysztof R. Apt, Roland N. Bol, Jan Willem Klop

Browse the full ICLP paper archive.