A Graphical Language for Proof Strategies
Gudmund Grov‚ Aleks Kissinger and and Yuhui Lin
Book Title
Proceedings of the 19th International Conference of Logic for Programming‚ Artificial Intelligence‚ and Reasoning (LPAR)
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
8312
Year
2013