Prolog, a fresh approach to logic programming modulo -equivalence, in (2003)

by J Cheney, C Urban
Venue:Villaret (Eds.), Proc. of UNIF 2003, no. DSIC-II/12/03 in Departamento de Sistemas Informaticos y Computacion Technical Report Series, Universidad Politecnica de