A modelling tool based on mathematical logic T-PROLOG

Ivan Futó, János Szeredi, K. Szenes. A modelling tool based on mathematical logic T-PROLOG. Acta Cybern., 5:363-375, 1982.

@article{FutoSS82,
  title = {A modelling tool based on mathematical logic T-PROLOG},
  author = {Ivan Futó and János Szeredi and K. Szenes},
  year = {1982},
  tags = {Prolog, rule-based, logic},
  researchr = {https://researchr.org/publication/FutoSS82},
  cites = {0},
  citedby = {0},
  journal = {Acta Cybern.},
  volume = {5},
  pages = {363-375},
}