Modular Termination Proofs for Logic and Pure Prolog Programs (1993)

Cached

Download Links

by Krzysztof R. Apt , Dino Pedreschi
Venue:ADVANCES IN LOGIC PROGRAMMING THEORY
Citations:44 - 5 self