Online Justification for Tabled Logic Programs.

Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan

Browse the full FLOPS paper archive.