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.

Abstract

Abstract is missing.