On the Unification Free Prolog Programs.

Krzysztof R. Apt, Sandro Etalle

Browse the full MFCS paper archive.