Application of the Steepest Ascent Method to Concave Programming. - Tomasz Pietrzykowski (IFIP Congress, 1962)

A complete mechanization of (Ω)-order type theory. - Tomasz Pietrzykowski; D. C. Jensen (ACM Annual Conference (1), 1972)

A Complete Mechanization of Second-Order Type Theory. - Tomasz Pietrzykowski (J. ACM, 1973)

Mechanizing omega-Order Type Theory Through Unification. - D. C. Jensen; Tomasz Pietrzykowski (Theor. Comput. Sci., 1976)

Deduction Plans: A Basis for Intelligent Backtracking. - Philip T. Cox; Tomasz Pietrzykowski (IEEE Trans. Pattern Anal. Mach. Intell., 1981)

Exponential Improvement of Efficient Backtracking: data Structure and Implementation. - Stan Matwin; Tomasz Pietrzykowski (CADE, 1982)

Exponential Improvement of Efficient Backtracking: A Strategy for Plan-Based Deduction. - Tomasz Pietrzykowski; Stan Matwin (CADE, 1982)

Intelligent Backtracking for Automated Deduction in FOL. - Stan Matwin; Tomasz Pietrzykowski (Logic Programming Workshop, 1983)

A Complete, Nonredundant Algorithm for Reversed Skolemization. - Philip T. Cox; Tomasz Pietrzykowski (Theor. Comput. Sci., 1984)

Advanced programming aids in PROGRAPH. - Philip T. Cox; Tomasz Pietrzykowski (SIGSMALL, 1985)

Surface Deduction: A Uniform Mechanism for Logic Programming. - Philip T. Cox; Tomasz Pietrzykowski (SLP, 1985)

Prograph: A Preliminary Report. - Stan Matwin; Tomasz Pietrzykowski (Comput. Lang., 1985)

Intelligent Backtracking in Plan-Based Deduction. - Stan Matwin; Tomasz Pietrzykowski (IEEE Trans. Pattern Anal. Mach. Intell., 1985)

Causes for Events: Their Computation and Applications. - Philip T. Cox; Tomasz Pietrzykowski (CADE, 1986)

Incorporating equality into logic programming via surface deduction. - Philip T. Cox; Tomasz Pietrzykowski (Ann. Pure Appl. Log., 1986)

General Diagnosis by Abductive Inference. - Philip T. Cox; Tomasz Pietrzykowski (SLP, 1987)

Prograph: a step towards liberating programming from textual conditioning. - Philip T. Cox; F. R. Giles; Tomasz Pietrzykowski (VL, 1989)

Object oriented programming in the computer science curriculum (panel session). - Julie Zweigoron; John Bierbauer; Scott Knaster; Tomasz Pietrzykowski; John R. Pugh (SIGCSE, 1990)

Visual Message Flow Language MFL and its Interaface. - Philip T. Cox; Tomasz Pietrzykowski (Advanced Visual Interfaces, 1992)

Abduction in Logic Programming with Equality. - Philip T. Cox; Emanuel Knill; Tomasz Pietrzykowski (FGCS, 1992)

Equality and Abductive Residua for Horn Clauses. - Emanuel Knill; Philip T. Cox; Tomasz Pietrzykowski (Theor. Comput. Sci., 1993)