James__Harland
A Kripke-like Model for Negation as Failure
Aditi users' guide
Constraint Propagation for Linear Recursive Rules
Constraints for Query Optimization in Deductive Databases
Making Logic Programs Reactive
On Normal Forms and Equivalence for Logic Programs
Programming in Lygon: An overview
Resource-distribution via Boolean constraints
Structural Properties of Logic Programs