David S. Warren;Baoqiu Cui
-;-
Tchr: A framework for tabled clp
Theory and Practice of Logic Programming