Tactics for hierarchical proof
scientific article; zbMATH DE number 5853498
scientific article