Media type: E-Article Title: Tactics for Hierarchical Proof Contributor: Aspinall, David; Denney, Ewen; Lüth, Christoph imprint: Springer Science and Business Media LLC, 2010 Published in: Mathematics in Computer Science Language: English DOI: 10.1007/s11786-010-0025-6 ISSN: 1661-8289; 1661-8270 Keywords: Applied Mathematics ; Computational Theory and Mathematics ; Computational Mathematics Origination: Footnote: