Termination Proofs for Logic Programs (0)

by Lutz Plümer
Venue:LNAI