Volume 6, Number 1, February 1996
: A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages.
: Partial Applicative Theories and Explicit Substitutions.
: On the Very Weak 0-1 Law for Random Graphs with Orders.
Volume 6, Number 2, April 1996
Volume 6, Number 3, June 1996
: Unification of Higher-Order Patterns in Linear Time and Space.
Volume 6, Number 4, August 1996
: An Interactive Solution to the n by n Mutilated Checkerboard Problem.
: Some Completeness Results for Stoppered and Ranked Classical Preferential Models.
Volume 6, Number 5, October 1996
: Generic Models of Logic Programs.
Volume 6, Number 6, December 1996
James J. Lu
: Logic Programming with Signs and Annotations.
: On Winning Strategies with Unary Quantifiers.