Media type: E-Article Title: Logic for Programming, Artificial Intelligence, and Reasoning: A Semantic Basis for Proof Queries and Transformations Contributor: Aspinall, David; Denney, Ewen; Lüth, Christoph Published: Springer Berlin Heidelberg, 2013 Published in: Logic for Programming, Artificial Intelligence, and Reasoning (2013), Seite 53-70 Language: Not determined DOI: 10.1007/978-3-642-45221-5_4 ISBN: 9783642452208; 9783642452215 ISSN: 0302-9743; 1611-3349 Origination: Footnote: