A Semantic Basis for Proof Queries and Transformations.

David Aspinall, Ewen Denney, Christoph Lth

Browse the full LPAR paper archive.