{"_id":{"_str":"52bd607c9eb585cc260054f9"},"__v":9,"authorIDs":["5461d3a38a9aab071c0000fe"],"author_short":["Aspinall, D.","Denney, E.","Lüth, C."],"bibbaseid":"aspinall-denney-lth-asemanticbasisforproofqueriesandtransformations-2013","bibdata":{"title":"A Semantic Basis for Proof Queries and Transformations","author":["David Aspinall","Ewen Denney","Christoph Lüth"],"author_short":["Aspinall, D.","Denney, E.","Lüth, C."],"bibtype":"inproceedings","type":"inproceedings","year":"2013","key":"dblp2142248","id":"dblp2142248","biburl":"http://www.dblp.org/rec/bibtex/conf/lpar/AspinallDL13","url":"http://dx.doi.org/10.1007/978-3-642-45221-5_4","conference":"LPAR","pages":"53-70","text":"LPAR 2013:53-70","booktitle":"Proceedings of Logic Programming and Automated Reasoning (LPAR)","bibtex":"@inproceedings{ dblp2142248,\n title = {A Semantic Basis for Proof Queries and Transformations},\n author = {David Aspinall and Ewen Denney and Christoph Lüth},\n author_short = {Aspinall, D. and Denney, E. and Lüth, C.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2013},\n key = {dblp2142248},\n id = {dblp2142248},\n biburl = {http://www.dblp.org/rec/bibtex/conf/lpar/AspinallDL13},\n url = {http://dx.doi.org/10.1007/978-3-642-45221-5_4},\n conference = {LPAR},\n pages = {53-70},\n text = {LPAR 2013:53-70},\n booktitle = {Proceedings of Logic Programming and Automated Reasoning (LPAR)}\n}","bibbaseid":"aspinall-denney-lth-asemanticbasisforproofqueriesandtransformations-2013","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-45221-5_4"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/lpar/AspinallDL13","downloads":0,"keywords":[],"search_terms":["semantic","basis","proof","queries","transformations","aspinall","denney","lüth"],"title":"A Semantic Basis for Proof Queries and Transformations","year":2013,"dataSources":["97nXBDJg2p94MnkMz"]}