Termination of Well-Typed Logic Programs (2001)

by A Bossi, N Cocco, S Rossi
Venue:Proceedings PPDP’01