Futó, István, János Szeredi, and Katalin Szenes. “A Modelling Tool Based on Mathematical Logic T-PROLOG”. Acta Cybernetica 5, no. 3 (January 1, 1981): 363-375. Accessed May 4, 2024. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3224.