Futó István; Szeredi János; Szenes Katalin: A modelling tool based on mathematical logic T-PROLOG. In: Acta cybernetica, (5) 3. pp. 363-375. (1981)