DLPEQ 1.9 — a Tool for Testing the Equivalence of Disjunctive Logic Programs

Reference:

Emilia Oikarinen. DLPEQ 1.9 — a tool for testing the equivalence of disjunctive logic programs, 2003. Computer Program.

Suggested BibTeX entry:

@misc{DLPEQ03,
    author = {Emilia Oikarinen},
    note = {Computer Program},
    title = {{DLPEQ} 1.9 --- a Tool for Testing the Equivalence of Disjunctive Logic Programs},
    year = {2003},
}