Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand. Formalization of Recursive Path Orders for Lambda-Free Higher-Order Terms. Archive of Formal Proofs, 2016, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.