Proving Termination of Logic Programs by Exploiting Term Properties (1991)

by A BOSSI, N COCCO, M FABRIS
Venue:In Proceedings of CCPSD-TAPSOFT’91. Lecture Notes in Computer Science