Combining Proofs of Higher-Order and First-Order Automated Theorem Provers (bibtex)

by Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber

Reference:

Combining Proofs of Higher-Order and First-Order Automated Theorem Provers (Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber), In Proceedings of the LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL), pp. 45-58, 2005. (arXiv:cs/0601042)

Bibtex Entry:

@inproceedings{W32, Address = {Wexford Hotel, Montego Bay, Jamaica}, Author = {Christoph Benzm{\"u}ller and Volker Sorge and Mateja Jamnik and Manfred Kerber}, Booktitle = {Proceedings of the LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic {(ESHOL)}}, Addendum = {arXiv:cs/0601042}, Pages = {45-58}, Title = {Combining Proofs of Higher-Order and First-Order Automated Theorem Provers}, Url = {http://arxiv.org/abs/cs/0601042}, Year = 2005, }