Tabling in Mercury: Design and Implementation.

Zoltan Somogyi, Konstantinos Sagonas

Browse the full PADL paper archive.