Stefaan Decorte, Danny De Schreye. Termination Analysis: Some Practical Properties of the Norm and Level Mapping Space. In Implementation Technology for Programming Languages based on Logic. pages 235-249, 1998.
No references recorded for this publication.
No citations of this publication recorded.