Multiple Terms in a Tabled Logic Programming System.

Baoqiu Cui David Scott Warren Multiple Terms in a Tabled Logic Programming System. 305-319 1999 ICLP db/conf/iclp/iclp99.html#CuiW99