Journal article

Eisbach: A Proof Method Language for Isabelle

D Matichuk, TC Murray, M Wenzel

Journal of Automated Reasoning | Springer Verlag (Germany) | Published : 2016