Testing the Equivalence of Disjunctive Logic Programs

Reference:

Emilia Oikarinen. Testing the equivalence of disjunctive logic programs. Master's thesis, Helsinki University of Technology, Department of Engineering Physics and Mathematics, Espoo, Finland, September 2003.

Suggested BibTeX entry:

@mastersthesis{OikarinenMSc,
    address = {Espoo, Finland},
    author = {Emilia Oikarinen},
    month = {September},
    school = {Helsinki University of Technology, Department of Engineering Physics and Mathematics},
    title = {Testing the Equivalence of Disjunctive Logic Programs},
    year = {2003},
}