Embedding Theorems for Boolean Algebras and Consistency Results on Ordinal Definable Sets. - Petr Stepánek; Bohuslav Balcar (J. Symb. Log., 1977)

Cardinal Collapsing and Ordinal Definability. - Petr Stepánek (J. Symb. Log., 1978)

Graphs as Data in Prolog Programs. - Jan Sebelík; Petr Stepánek (ICLP, 1982)

Computation Trees and Transformations of Logic Programs. - Olga Stepánková; Petr Stepánek (ICLP, 1984)

Transformations of Logic Programs. - Olga Stepánková; Petr Stepánek (J. Log. Program., 1984)

Logic Programs and Alternation. - Petr Stepánek; Olga Stepánková (ICLP, 1986)

Developing Logic Programs: Computing Through Normalizing. - Olga Stepánková; Petr Stepánek (CSL, 1987)

Normal Forms and the Complexity of Computations of Logic Programs. - Vít Ochozka; Olga Stepánková; Petr Stepánek (CSL, 1988)

AI Education and Logic. - Olga Stepánková; Petr Stepánek (Artificial Intelligence in Higher Education, 1989)

Stratification of Definite Clause Programs and of General Logic Programs. - Olga Stepánková; Petr Stepánek (CSL, 1989)

Prolog: A Step towards the Future of Programming. - Olga Stepánková; Petr Stepánek (Advanced Topics in Artificial Intelligence, 1992)

Extendible meta-interpreters. - Roman Barták; Petr Stepánek (Kybernetika, 1997)

Binary Speed Up for Logic Programs. - Jan Hruza; Petr Stepánek (Computational Logic, 2000)

Schema-Based Transformations of Logic Programs in lambda-Prolog. - Petr Olmer; Petr Stepánek (ICLP, 2002)

Speedup of Logic Programs by Binarization and Partial Deduction. - Jan Hruza; Petr Stepánek (Theory Pract. Log. Program., 2004)

Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation. - Jirí Vyskocil; Petr Stepánek (MICAI, 2007)

MaLeCoP Machine Learning Connection Prover. - Josef Urban; Jirí Vyskocil; Petr Stepánek (TABLEAUX, 2011)

Nonmonotonic Reasoning in Description Logic by Tableaux Algorithm with Blocking. - Jaromir Malenko; Petr Stepánek (Description Logics, 2012)

Computation of magnetic circular dichroism by sum-over-states summations. - Petr Stepánek; Petr Bour (J. Comput. Chem., 2013)

Origin-independent sum over states simulations of magnetic and electronic circular dichroism spectra via the localized orbital/local origin method. - Petr Stepánek; Petr Bour (J. Comput. Chem., 2015)

IT-Enabled Digital Service Design Principles - Lessons Learned from Digital Cities. - Petr Stepánek; Mouzhi Ge; Leonard Walletzký (EMCIS, 2017)

Validation and Extension of the Smart City Ontology. - Petr Stepánek; Mouzhi Ge (ICEIS (2), 2018)

Towards a systems thinking based view for the governance of a smart city's ecosystem. - Francesco Caputo; Leonard Walletzký; Petr Stepánek (Kybernetes, 2019)

Smart City Through Design: Preparation of a New Wayfinding System in Prague. - Petr Stepánek (HCI (41), 2020)