Zombori, Z., & Szeredi, P. (2012). Loop elimination, a sound optimisation technique for PTTP related theorem proving. Acta Cybernetica, 20(3), 441-458. https://doi.org/10.14232/actacyb.20.3.2012.5