David Toman
-
Memoing Evaluation for Constraint Extensions of Datalog
Constraints
Tchr: A framework for tabled clp
Theory and Practice of Logic Programming
On the verification of security-aware E-services
Journal of Symbolic Computation