universal termination of logic programs (2001)

by S Ruggieri
Venue:Theoretical Comput. Sci