I. Futó, J. Szeredi, and K. Szenes, “A modelling tool based on mathematical logic T-PROLOG”, Acta Cybern, vol. 5, no. 3, pp. 363-375, Jan. 1981.