@inproceedings{grov2013psgraph,
  title = "A Graphical Language for Proof Strategies",
  author = "Gudmund Grov and Aleks Kissinger and and Yuhui Lin",
  year = "2013",
  booktitle = "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",
}