I. Futó, J. Szeredi, and K. Szenes. A modelling tool based on mathematical logic T-PROLOG. Acta Cybernetica, 5(3):363-375, 1981. [ PDF ]
This document was translated from BibTEX by bibtex2html