Zsolt Zombori, Péter Szeredi. Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving. Acta Cybern., 20(3):441-458, 2012. [doi]
@article{ZomboriS12,
title = {Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving},
author = {Zsolt Zombori and Péter Szeredi},
year = {2012},
url = {http://www.inf.u-szeged.hu/actacybernetica/edb/vol20n3/Zombori_2012_ActaCybernetica.xml},
researchr = {https://researchr.org/publication/ZomboriS12},
cites = {0},
citedby = {0},
journal = {Acta Cybern.},
volume = {20},
number = {3},
pages = {441-458},
}