Pages that link to "Item:Q2055808"

The following pages link to Estimating grounding sizes of logic programs under answer set semantics (Q2055808):

Displaying 1 item.

• Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs (Q6063883) (← links)