E. Giunchiglia, J. Lee, N. McCain, V. Lifschitz and H. Turner,
"Nonmonotonic causal theories."
In *Artificial Intelligence* (AIJ), vol 153, pp. 49-104,
2004.

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."
In *Artificial Intelligence* (AIJ), vol 153, pp. 105-140,
2004.

H. Turner, "Strong equivalence
for causal theories." In *Proc. of the Seventh Int'l Conf. on
Logic Programming and Nonmonotonic Reasoning* (LPNMR'04), pp. 289-301,
2004.

H. Turner, "Strong equivalence made easy:
nested expressions and weight constraints." In (Journal of)
*Theory and Practice of Logic Programming* (TPLP),
vol 3(4&5), pp. 609-622, 2003.

H. Turner, "Polynomial-length planning spans the
polynomial hierarchy." In *Proc. of
Eighth European Conf. on Logics in Artificial Intelligence* (JELIA'02),
pp. 111-124, 2002. Here is an unpublished full
version of this paper.

H. Turner, "Order-consistent programs are
cautiously monotonic."
In (Journal of)
*Theory and Practice of Logic Programming* (TPLP), vol 1(4), pp. 487-495,
2001.

H. Turner, "Strong equivalence for logic programs
and default theories (made easy)."
In *Proc. of the Sixth Int'l Conf. on
Logic Programming and Nonmonotonic Reasoning* (LPNMR'01), pp. 81-92, 2001.

H. Turner, "A logic of universal causation."
In *Artificial Intelligence* (AIJ), vol 113, pp. 87-123, 1999.

V. Lifschitz and H. Turner, "Representing transition
systems by logic programs."
In *Proc. of the Fifth Int'l Conf. on
Logic Programming and Nonmonotonic Reasoning* (LPNMR'99), pp. 92-106, 1999.

V. Lifschitz, L.R. Tang and H. Turner,
"Nested expressions in logic programs."
In *Annals of Mathematics and Artificial Intelligence* (AMAI),
vol. 25:2,3, pp. 369-390, 1999.

N. McCain and H. Turner,
"Satisfiability planning with causal theories,"
in *Proc. of the Sixth Int'l Conf. on Principles of Knowledge Representation
and Reasoning* (KR'98), pp. 212-223, 1998.

H. Turner, "Causal action theories and satisfiability planning." Phd Thesis. Technical Report CS-TR-98-26, Department of Computer Sciences, University of Texas at Austin. 1998.

N. McCain and H. Turner, "Causal
theories of action and change," in
*Proc. of the 1997 Nat'l Conf. on Artificial Intelligence* (AAAI'97), pp. 460-465, 1997.
AAAI

N. McCain and H. Turner, "On relating causal theories to other formalisms." Unpublished manuscript. 1997.

H. Turner, "Representing actions in logic programs
and default theories: a situation calculus approach,"
in * Journal of Logic Programming*,
Vol. 31, No. 1-3, pp. 245-298, 1997.

T. Przymusinski and H. Turner, "Update by means of
inference rules," in *Journal of Logic Programming*,
Vol. 30, No. 2, pp. 125-143, 1997.

H. Turner, "Splitting a default theory,"
in *Proc. of the 1996 Nat'l Conf. on Artificial Intelligence*
(AAAI'96), pp. 645-651, 1996. AAAI

N. McCain and H. Turner, "A causal theory of
ramifications and qualifications," in *Proc. of the Fourteenth
Int'l Conf. on Artifical Intelligence* (IJCAI'95),
pp. 1978-1984, 1995. IJCAI

V. Lifschitz and H. Turner, "From disjunctive
programs to abduction," in *Non-Monotonic Extensions of Logic
Programming (Springer-Verlag
Lecture Notes in Artificial Intelligence 927)*, pp. 23-42,
1995.

H. Turner, "Signed logic programs," in
*Logic Programming: Proc. of the 1994 Int'l Symposium* (ILPS'94),
pp. 61-75, 1994. Here is an unpublished full
version of this paper.

N. McCain and H. Turner, "Language independence and
language tolerance in logic programs," in * Proc. of the Eleventh
Int'l Conf. on Logic Programming* (ICLP'94), pp. 38-57, 1994.

V. Lifschitz and H. Turner, "Splitting a logic
program," in * Proc. of the Eleventh Int'l Conf. on
Logic Programming* (ICLP'94), pp. 23-37, 1994.

H. Turner, "A monotonicity theorem for extended logic
programs," in * Proc. of the Tenth Int'l Conf. on
Logic Programming* (ICLP'93), pp. 567-585, 1993.