SLT-Resolution for the Well-Founded Semantics

Add code
Mar 02, 2001
Figure 1 for SLT-Resolution for the Well-Founded Semantics
Figure 2 for SLT-Resolution for the Well-Founded Semantics
Figure 3 for SLT-Resolution for the Well-Founded Semantics
Figure 4 for SLT-Resolution for the Well-Founded Semantics

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: