1. Lecture Notes in Computer Science;UA Acar,2012
2. Bajaj, D., Erwig, M., Fedorin, D., Gay, K.: A visual notation for succinct program traces. In: IEEE International Symposium on Visual Languages and Human-Centric Computing (2021, to appear)
3. Dunchev, C., et al.: PROOFTOOL: a GUI for the GAPT framework. Electron. Proc. Theor. Comput. Sci. 118, 1–14 (2013)
4. Erwig, M., Kumar, P.: Explainable dynamic programming. J. Funct. Program. 31, e10 (2021)
5. Ferrand, G., Lesaint, W., Tessier, A.: Explanations and proof trees. Comput. Inform. 25, 105–125 (2006)