On an Unsound Proof of the Existence of Possible Worlds. - Christopher Menzel (Notre Dame J. Formal Log., 1989)

The true modal logic. - Christopher Menzel (J. Philos. Log., 1991)

Formal model of single agent planning situations. - Richard J. Mayer; Madhav Erraguntla; Christopher Menzel; Jyh Chen Hwang (J. Syst. Integr., 1994)

The Objective Conception of Context and Its Logic. - Christopher Menzel (Minds Mach., 1999)

An Adaptive Process Management System (APMS). - Christopher Menzel; Perakath C. Benjamin (DIISM, 2000)

A formal foundation for process modeling. - Christopher Menzel; Michael Grüninger (FOIS, 2001)

Reference Ontologies - Application Ontologies: Either/Or or Both/And?. - Christopher Menzel (KI Workshop on Reference Ontologies and Application Ontologies, 2003)

The Process Specification Language (PSL) Theory and Applications. - Michael Grüninger; Christopher Menzel (AI Mag., 2003)

Basic Semantic Integration. - Christopher Menzel (Semantic Interoperability and Integration, 2005)

Simple Common Logic. - Patrick J. Hayes; Christopher Menzel (Rule Languages for Interoperability, 2005)

Intention Is Commitment with Expectation. - James Creel; Christopher Menzel; Thomas R. Ioerger (FLAIRS, 2007)

Knowledge representation, the World Wide Web, and the evolution of logic. - Christopher Menzel (Synth., 2011)

The Fundamental Theorem of World Theory. - Christopher Menzel; Edward N. Zalta (J. Philos. Log., 2014)