OLD Resolution with Tabulation.

Hisao Tamaki, Taisuke Sato

Browse the full ICLP paper archive.