Reference:
Emilia Oikarinen. Testing the equivalence of disjunctive logic programs. Master's thesis, Helsinki University of Technology, Department of Engineering Physics and Mathematics, 2003.
Suggested BibTeX entry:
@mastersthesis{OikarinenMsc, author = {Oikarinen, Emilia}, school = {Helsinki University of Technology, Department of Engineering Physics and Mathematics}, title = {Testing the equivalence of disjunctive logic programs}, year = {2003}, }