Termination Analysis of Typed Logic Programs (2003)

Cached

Download Links

by Vitaly Lagoon , Fred Mesnard , Peter J. Stuckey , Etienne Payet , Fausto Spoto