On the Unification Free Prolog Programs (1998)

by Krzysztof R. Apt , Sandro Etalle
Venue:ACM TOPLAS
Citations:79 - 21 self