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