Terrance Swift;David S. Warren
-;-
An abstract machine for tabled execution of fixed-order stratified logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Memoing Evaluation for Constraint Extensions of Datalog
Constraints