Distributive Ideals and Partition Relations. - C. A. Johnson (J. Symb. Log., 1986)

Precipitous Ideals on Singular Cardinals. - C. A. Johnson (Math. Log. Q., 1986)

Seminormal lambda-Generated Ideals on Pk lambda. - C. A. Johnson (J. Symb. Log., 1988)

On Ideals and Stationary Reflection. - C. A. Johnson (J. Symb. Log., 1989)

Handling Indefinite and Negative Data in a Deductive Database. - C. A. Johnson (Data Knowl. Eng., 1991)

Top Down Deduction in Indefinite Databases. - C. A. Johnson (BDA, 1993)

Factorization and Circuit in the Connection Method. - C. A. Johnson (J. ACM, 1993)

On the Termination of Clause Graph Resolution. - C. A. Johnson (J. Autom. Reason., 1994)

On Computing Minimal and Perfect Model Membership. - C. A. Johnson (Data Knowl. Eng., 1996)

Deduction Trees and the View Update Problem in Indefinite Deductive Databases. - C. A. Johnson (J. Autom. Reason., 1997)

Top-Down Query Processing in Indefinite Stratified Databases. - C. A. Johnson (Data Knowl. Eng., 1998)

Towards a Theoretical Foundation for Cooperating Knowledge Based Systems. - S. Misbah Deen; C. A. Johnson (ISMIS, 1999)

On Cyclic Covers and Perfect Models. - C. A. Johnson (Data Knowl. Eng., 1999)

Processing Deductive Databases under the Disjunctive Stable Model Semantics. - C. A. Johnson (Fundam. Informaticae, 1999)

Constructing interpretations of deductive databases using reduction and dynamic stratification. - C. A. Johnson (Data Knowl. Eng., 2001)

On the Computation of the Disjunctive Well-Founded Semantics. - C. A. Johnson (J. Autom. Reason., 2001)

Processing Indefinite Deductive Databases under the Possible Model Semantics. - C. A. Johnson (Fundam. Informaticae, 2002)

Formalizing an Engineering Approach to Cooperating Knowledge-Based Systems. - S. Misbah Deen; C. A. Johnson (IEEE Trans. Knowl. Data Eng., 2003)

Top-Down Query Processing in First-Order Deductive Databases under the DWFS. - C. A. Johnson (J. Autom. Reason., 2004)

Computing Only Minimal Answers in Disjunctive Deductive Databases. - C. A. Johnson (J. Autom. Reason., 2009)