Guillaume Bonfante, Adam Cichon, Jean-Yves Marion, Hélène Touzet. Algorithms with polynomial interpretation termination proof. Journal of Functional Programming, 11(1):33-53, 2001.
No references recorded for this publication.
No citations of this publication recorded.