Testing the Equivalence of Disjunctive Logic Programs (2003)
AUTHORS:
Oikarinen Emilia
@mastersthesis{ OikarinenMSc, author = "Oikarinen, Emilia", school = "Helsinki University of Technology, Department of Engineering Physics and Mathematics", title = "Testing the Equivalence of Disjunctive Logic Programs", address = "Espoo, Finland", month = "September", flags = "SA-53695 copy", year = "2003" }