TY  - RPRT
TI  - A Graphical Language for Proof Strategies
AU  - Gudmund Grov
AU  - Aleks Kissinger
AU  - Yuhui Lin
PY  - 2013
DO  - 10.1007/978-3-642-45221-5_23
UR  - https://arxiv.org/abs/1302.6890
ID  - 1302.6890
ER  -