Reasoning about Termination of Pure Prolog Programs (1993)

Cached

Download Links

by Krzysztof R. Apt , Dino Pedreschi
Venue:Information and Computation
Citations:126 - 14 self