Mixing finite success and finite failure in an automated prover (2005)

by Alwen Tiu , Gopalan Nadathur , Dale Miller
Venue:In Proceedings of ESHOL’05: Empirically Successful Automated Reasoning in Higher-Order Logics, pages 79 – 98
Citations:14 - 7 self