Efficient fixpoint computation in linear tabling.

Neng-Fa Zhou, Taisuke Sato

Browse the full PPDP paper archive.