## Kaustuv Chaudhuri, Frank Pfenning

*A Focusing Inverse Method Theorem Prover for First-Order Linear Logic*

CADE, 2005.

@inproceedings{CADE-2005-ChaudhuriP, author = "Kaustuv Chaudhuri and Frank Pfenning", booktitle = "{Proceedings of the 20th International Conference on Automated Deduction}", doi = "10.1007/11532231_6", isbn = "3-540-28005-7", pages = "69--83", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{A Focusing Inverse Method Theorem Prover for First-Order Linear Logic}", volume = 3632, year = 2005, }