C. A. Johnson Top-Down Query Processing in First Order Deductive Databases under the DWFS. [Citation Graph (0, 0)][DBLP] ISMIS, 2000, pp:377-388 [Conf]
C. A. Johnson Constructing interpretations of deductive databases using reduction and dynamic stratification. [Citation Graph (0, 0)][DBLP] Data Knowl. Eng., 2001, v:38, n:2, pp:173-197 [Journal]
C. A. Johnson Handling Indefinite and Negative Data in a Deductive Database. [Citation Graph (0, 0)][DBLP] Data Knowl. Eng., 1991, v:6, n:, pp:333-348 [Journal]
C. A. Johnson Top-Down Query Processing in Indefinite Stratified Databases. [Citation Graph (0, 0)][DBLP] Data Knowl. Eng., 1998, v:26, n:1, pp:1-36 [Journal]
C. A. Johnson Processing Indefinite Deductive Databases under the Possible Model Semantics. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2002, v:49, n:4, pp:325-347 [Journal]
C. A. Johnson Processing Deductive Databases under the Disjunctive Stable Model Semantics. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1999, v:40, n:1, pp:31-51 [Journal]
C. A. Johnson On the Computation of the Disjunctive Well-Founded Semantics. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2001, v:26, n:4, pp:333-356 [Journal]
C. A. Johnson Top-Down Query Processing in First-Order Deductive Databases under the DWFS. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2004, v:32, n:2, pp:167-184 [Journal]
C. A. Johnson Deduction Trees and the View Update Problem in Indefinite Deductive Databases. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1997, v:19, n:1, pp:31-85 [Journal]