A Semantic Basis for Proof Queries and Transformations

@inproceedings{pub7110,
    author = {

Aspinall, David
 and 

Denney, Ewen
 and 

Lüth, Christoph
},
    editor = {

McMillan, Kevin
 and 

Middeldorp, Aart
 and 

Voronkov, Andrei
},
    title = {A Semantic Basis for Proof Queries and Transformations},
    booktitle = {Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2013), 19th, December 14-19, Stellenbosch, South Africa},
    series = {Lecture Notes in Computer Science},
    year = {2013},
    volume = {8312},
    pages = {53--70},
    publisher = {Springer}
}