Aaron Stump, Clark W. Barrett, David L. Dill. Producing Proofs from an Arithmetic Decision Procedure in Elliptical LF. Electronic Notes in Theoretical Computer Science, 70(2):29-41, 2002. [doi]
No references recorded for this publication.
No citations of this publication recorded.