Tree Interpolation in Vampire (bibtex)
by Régis Blanc, Ashutosh Gupta, Laura Kovács, Bernhard Kragl
Reference:
Tree Interpolation in VampireRégis Blanc, Ashutosh Gupta, Laura Kovács, Bernhard KraglProceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-19), pages 173-181, 2013.
Bibtex Entry:
@inproceedings{BlancGKK13,
title = {Tree Interpolation in Vampire},
ee = {http://dx.doi.org/10.1007/978-3-642-45221-5_13},
booktitle = {Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-19)},
author = {R{\'e}gis Blanc and Ashutosh Gupta and Laura Kov{\'a}cs and Bernhard
Kragl},
url = {/pubpdf/Tree_Interpolation_in_Vampire.pdf},
year = {2013},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {173-181},
crossref = {DBLP:conf/lpar/2013},
}
Powered by bibtexbrowser