@techreport{7d2e7f421b1b46c4a17c681d2bb18753,
title = "Testing the Equivalence of Disjunctive Logic Programs",
keywords = "disjunctive logic programs, stable model semantics, translation-based verification, weak equivalence, disjunctive logic programs, stable model semantics, translation-based verification, weak equivalence, disjunctive logic programs, stable model semantics, translation-based verification, weak equivalence",
author = "Emilia Oikarinen",
year = "2003",
language = "English",
isbn = "951-22-6878-7",
series = "Laboratory for Theoretical Computer Science, Series A: Research Reports",
publisher = "TKK, Tietojenk{\"a}sittelyteorian laboratorio",
number = "A85",
type = "WorkingPaper",
institution = "TKK, Tietojenk{\"a}sittelyteorian laboratorio",
}