E. Erdem and V. Lifschitz, "Tight logic programs," Theory and Practice of Logic Programming, Vol. 3, 2003, pp. 499-518.

J. Lee and V. Lifschitz, "Loop formulas for disjunctive logic programs," in Proc. ICLP-03, to appear.

J. Lee, "Nondefinite vs. Definite Causal Theories," in Proc. LPNMR-7, to appear.

S. Dogandag, P. Ferraris and V. Lifschitz, "Almost definite causal theories," in Proc. LPNMR-7, to appear.

S. Erdogan and V. Lifschitz, "Definitions in answer set programming," in Proc. LPNMR-7, to appear.

E. Giunchiglia, J. Lee, V. Lifschitz, N. McCain and H. Turner, "Nonmonotonic causal theories," Artificial Intelligence, to appear.

V. Akman, S. Erdogan, J. Lee, V. Lifschitz and H. Turner, "Representing the Zoo World and the Traffic World in the language of the Causal Calculator," Artificial Intelligence, to appear.

P. Ferraris and V. Lifschitz, "Weight constraints as nested expressions," Theory and Practice of Logic Programming, to appear.