@inproceedings{54478627d9c2461b8498905a97d46148,
title = "A Tactic Language for Hiproofs",
author = "David Aspinall and Ewen Denney and Christoph L{\"u}th",
year = "2008",
language = "English",
isbn = "978-3-540-85110-3",
volume = "5144",
series = "Lecture Notes in Computer Scince",
publisher = "Springer",
pages = "339--354",
booktitle = "Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings.",
address = "United Kingdom",
}