When Size Does Matter - Termination Analysis for Typed Logic Programs (2002)

by Wim Vanhoof , Maurice Bruynooghe
Venue:Logic-based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001, Selected Papers, volume 2372 of LNCS
Citations:6 - 4 self