Minimizing Indefinite Information in Disjunctive Deductive Databases. - Monica D. Barback; Jorge Lobo 001; James J. Lu (ICDT, 1992)

A Proof Procedure for Default Theories with Extensions. - Monica D. Barback; Jorge Lobo 001 (ILPS, 1993)

Interpreting Disjunctive Logic Programs Based on a Strong Sense of Disjunction. - James J. Lu; Monica D. Barback; Lawrence J. Henschen (J. Autom. Reason., 1993)

A Resolution-based Procedure for Default Theories with Extensions. - Monica D. Barback; Jorge Lobo 001 (NMELP, 1994)