The algebra of relatives. - Chris Brink (Notre Dame J. Formal Log., 1979)

Two axiom systems for relation algebras. - Chris Brink (Notre Dame J. Formal Log., 1979)

R⌝-algebras and R⌝-model structures as power constructs. - Chris Brink (Stud Logica, 1989)

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

A comment on relevant truth table logic. - Chris Brink (J. Appl. Non Class. Logics, 1992)

Verisimilitude via Vietoris. - Chris Brink; J. J. C. Vermeulen; J. P. G. Pretorius (J. Log. Comput., 1992)

Peirce Algebras. - Chris Brink; Katarina Britz (AMAST, 1993)

Peirce Algebras. - Chris Brink; Katarina Britz; Renate A. Schmidt (Formal Aspects Comput., 1994)

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

Computing Verisimilitude. - Katarina Britz; Chris Brink (Notre Dame J. Formal Log., 1995)

Background Material. - Peter Jipsen; Chris Brink; Gunther Schmidt 001 (Relational Methods in Computer Science, 1997)

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

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)

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