Volume 40, Number 1-2, January 2004
Stephen J. Hegner
: An Order-Based Theory of Updates for Closed Database Views.
: A Thorough Axiomatization of a Principle of Conditional Preservation in Belief Revision.
Volume 40, Numbers 3-4, March 2004
: Identifying Terminal Distinguishable Languages.
: Upper and Lower Bounds on the Complexity of Generalised Resolution and Generalised Constraint Satisfaction Problems.