Zombori, Zsolt, and Péter Szeredi. 2012. “Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving”. Acta Cybernetica 20 (3), 441-58. https://doi.org/10.14232/actacyb.20.3.2012.5.