Tabling: Linear Resolution (SLT)

General
1

This may be of interest given the new tabling work:

SLT-Resolution for the Well-Founded Semantics

2 Likes