Antoni Kreczmar Some historical remarks on algorithmic logic. [Citation Graph (0, 0)][DBLP] Algorithms in Modern Mathematics and Computer Science, 1979, pp:460-460 [Conf]
Antoni Kreczmar Algorithm for constructing of university timetables and criterion of consistency of requirements. [Citation Graph (0, 0)][DBLP] Acta Cybern., 1976, v:2, n:, pp:135-145 [Journal]