A Tactic Language for Hiproofs

@inproceedings{pub3843,
    author = {

Aspinall, David
 and 

Denney, Ewen
 and 

Lüth, Christoph
},
    editor = {

Autexier, Serge
 and 

Campbell, J.
 and 

Rubio, J.
},
    title = {A Tactic Language for Hiproofs},
    booktitle = {7th International Conference on Mathematical Knowledge Management (MKM 2007). International Conference on Mathematical Knowledge Management (MKM-2007), befindet sich Conferences on Intelligent Computer Mathematics (CICM 2008), July 28-August 1, Birmingham, United Kingdom},
    series = {Lecture Notes in Computer Science (LNCS)},
    year = {2008},
    volume = {5144},
    pages = {339--354},
    publisher = {Springer}
}