A Graphical Language for Proof Strategies.

Gudmund Grov, Aleks Kissinger, Yuhui Lin

Browse the full LPAR paper archive.