I.: On the termination of logic programs with function symbols (0)

by S Greco, F Spezzano, Trubitsyna
Venue:In: ICLP (Tech. Comm.) (2012