Amy P. Felty, Alberto Momigliano, Brigitte Pientka. Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions. Mathematical Structures in Computer Science, 28(9):1507-1540, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.