On the Termination of Logic Programs with Function Symbols.

Sergio Greco, Francesca Spezzano, Irina Trubitsyna

Browse the full ICLP paper archive.