Autodescriptivity: Beware! - Chris Brink; Ingrid Rewitzky; Renate A. Schmidt (Comput. J., 1991)

Towards Reasoning about Hoare Relations. - Stéphane Demri; Ewa Orlowska; Ingrid Rewitzky (Ann. Math. Artif. Intell., 1994)

Predicate Transformers as Power Operations. - Ingrid Rewitzky; Chris Brink (Formal Aspects Comput., 1995)

Predicate Relators. - Chris Brink; Ingrid Rewitzky (RelMiCS, 1997)

Programs as binary multirelations. - Ingrid Rewitzky (RelMiCS, 1997)

Duality and simulations. - Ingrid Rewitzky (RelMiCS, 1998)

Unification of Four Versions of Program Semantics. - Ingrid Rewitzky; Chris Brink (Formal Aspects Comput., 1998)

Finite-Cofinite Program Relations. - Chris Brink; Ingrid Rewitzky (Log. J. IGPL, 1999)

A paradigm for program semantics - power structures and duality. - Chris Brink; Ingrid Rewitzky (CSLI Publications, 2001)

Three Dual Ontologies. - Chris Brink; Ingrid Rewitzky (J. Philos. Log., 2002)

Binary Multirelations. - Ingrid Rewitzky (Theory and Applications of Relational Structures as Knowledge Instruments, 2003)

Modelling Nondeterminism. - Clare E. Martin; Sharon A. Curtis; Ingrid Rewitzky (MPC, 2004)

Relational Semantics Through Duality. - Ewa Orlowska; Ingrid Rewitzky; Ivo Düntsch (RelMiCS, 2005)

Duality via Truth: Semantic frameworks for lattice-based logics. - Ewa Orlowska; Ingrid Rewitzky (Log. J. IGPL, 2005)

Monotone Predicate Transformers as Up-Closed Multirelations. - Ingrid Rewitzky; Chris Brink (RelMiCS, 2006)

Discrete Duality and Its Applications to Reasoning with Incomplete Information. - Ewa Orlowska; Ingrid Rewitzky (RSEISP, 2007)

Discrete Dualities for Heyting Algebras with Operators. - Ewa Orlowska; Ingrid Rewitzky (Fundam. Informaticae, 2007)

Modelling angelic and demonic nondeterminism with multirelations. - Clare E. Martin; Sharon A. Curtis; Ingrid Rewitzky (Sci. Comput. Program., 2007)

Involutions on Relational Program Calculi. - Ingrid Rewitzky; Jeff W. Sanders (Sci. Ann. Comput. Sci., 2008)

Context Algebras, Context Frames, and Their Discrete Duality. - Ewa Orlowska; Ingrid Rewitzky (Trans. Rough Sets, 2008)

Discrete Duality for Relation Algebras and Cylindric Algebras. - Ewa Orlowska; Ingrid Rewitzky (RelMiCS, 2009)

Algebras for Galois-style connections and their discrete duality. - Ewa Orlowska; Ingrid Rewitzky (Fuzzy Sets Syst., 2010)

Structures with Multirelations, their Discrete Dualities and Applications. - Ivo Düntsch; Ewa Orlowska; Ingrid Rewitzky (Fundam. Informaticae, 2010)

Joanna Golińska-Pilarek and Michał Zawidzki, (eds.), Ewa Orłowska on Relational Methods in Logic and Computer Science. Springer International Publishing, Series: Outstanding Contributions to Logic, Vol. 17 2018, pp. 502. - Ingrid Rewitzky (Stud Logica, 2021)