Testing the Equivalence of Disjunctive Logic Programs (2003)

AUTHORS:

Oikarinen Emilia