Tactics for Hierarchical Proof

David Aspinall, Ewen Denney, Christoph Lüth. Tactics for Hierarchical Proof. Mathematics in Computer Science, 3(3):309-330, 2010. [doi]

Abstract

Abstract is missing.