Testing the Equivalence of Logic Programs under Stable Model Semantics.

Tomi Janhunen, Emilia Oikarinen

Browse the full JELIA paper archive.