Multiple Terms in a Tabled Logic Programming System.

Baoqiu Cui, David Scott Warren

Browse the full ICLP paper archive.