Algorithm for constructing of university timetables and criterion of consistency of requirements. - Antoni Kreczmar (Acta Cybern., 1973)

Effectivity Problems of Algorithmic Logic. - Antoni Kreczmar (ICALP, 1974)

On Memory Requirements of Strassen's Algorithms. - Antoni Kreczmar (MFCS, 1976)

On Finite and Infinite Computations. - Antoni Kreczmar (FCT, 1977)

Dynamic Theories of Real and Complex Numbers. - Michal Grabowski; Antoni Kreczmar (MFCS, 1978)

Some historical remarks on algorithmic logic. - Antoni Kreczmar (Algorithms in Modern Mathematics and Computer Science, 1979)

Semantics and implementation of prefixing at many levels. - W. W. Bartol; Antoni Kreczmar; A. I. Litwiniuk; H. Oktaba (Logic of Programs, 1980)

Concatenation of program modules an algebraic approach to the semantic and implementation problems. - Manfred Krause; Hans Langmaack; Antoni Kreczmar; Marek Warpechowski (Symposium on Computation Theory, 1984)

Programmed Deallocation Without Dangling Reference. - Gianna Cioni; Antoni Kreczmar (Inf. Process. Lett., 1984)

LOGPLAN '88 - Report on the Programming Language - Antoni Kreczmar; Andrzej Salwicki; Marek Warpechowski (Springer, 1990)

Analysis of algorithms and data structures. - Lech Banachowski; Antoni Kreczmar; Wojciech Rytter (Addison-Wesley, 1991)