A Semantic Basis for the Termination Analysis of Logic Programs (1999)

Cached

Download Links

by Michael Codish , Cohavit Taboch
Venue:Journal of Logic Programming
Citations:100 - 14 self