Futó, I., Szeredi, J., & Szenes, K. (1981). A modelling tool based on mathematical logic T-PROLOG. Acta Cybernetica, 5(3), 363-375. Retrieved from https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3224