Efficient fixpoint computation in linear tabling (2003)

by N-F Zhou, T Sato
Venue:Proc. PROLE 2012 16 / 16