%0 Journal Article %1 journals/mics/AspinallDL10 %A Aspinall, David %A Denney, Ewen %A Lüth, Christoph %D 2010 %J Math. Comput. Sci. %K %N 3 %P 309-330 %T Tactics for Hierarchical Proof. %U http://dblp.uni-trier.de/db/journals/mics/mics3.html#AspinallDL10 %V 3

@article{journals/mics/AspinallDL10, added-at = {2023-12-13T00:28:24.000+0100}, author = {Aspinall, David and Denney, Ewen and Lüth, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/27981ae3844f8b43be397e0e468846bab/admin}, ee = {https://doi.org/10.1007/s11786-010-0025-6}, interhash = {63d3cdd80ef80b7b346480fce8e7e5f2}, intrahash = {7981ae3844f8b43be397e0e468846bab}, journal = {Math. Comput. Sci.}, keywords = {}, number = 3, pages = {309-330}, timestamp = {2023-12-13T00:28:24.000+0100}, title = {Tactics for Hierarchical Proof.}, url = {http://dblp.uni-trier.de/db/journals/mics/mics3.html#AspinallDL10}, volume = 3, year = 2010 }