%0 Conference Paper %1 conf/lpar/AspinallDL12 %A Aspinall, David %A Denney, Ewen %A Lüth, Christoph %B LPAR %D 2012 %E Bjørner, Nikolaj %E Voronkov, Andrei %I Springer %K %P 92-106 %T Querying Proofs. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2012.html#AspinallDL12 %V 7180 %@ 978-3-642-28716-9

@inproceedings{conf/lpar/AspinallDL12, added-at = {2023-12-14T16:10:09.000+0100}, author = {Aspinall, David and Denney, Ewen and Lüth, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2b49cb8ee80b07f44ff8a0dcb8018f850/admin}, booktitle = {LPAR}, crossref = {conf/lpar/2012}, editor = {Bjørner, Nikolaj and Voronkov, Andrei}, ee = {https://doi.org/10.1007/978-3-642-28717-6_10}, interhash = {f463a7c8cb431f19e05a213a4e3fcfb4}, intrahash = {b49cb8ee80b07f44ff8a0dcb8018f850}, isbn = {978-3-642-28716-9}, keywords = {}, pages = {92-106}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T16:10:09.000+0100}, title = {Querying Proofs.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2012.html#AspinallDL12}, volume = 7180, year = 2012 }