DLPEQ 1.9 --- a Tool for Testing the Equivalence of Disjunctive Logic Programs (2003)

AUTHORS:

Oikarinen Emilia

URL:
http://www.tcs.hut.fi/Software/lpeq/index.shtml#dlpeq

@misc{
    DLPEQ03_eoikarin,
    author = "Oikarinen, Emilia",
    note = "Computer Program",
    url = "http://www.tcs.hut.fi/Software/lpeq/index.shtml#dlpeq",
    title = "{DLPEQ} 1.9 --- a Tool for Testing the Equivalence of Disjunctive Logic Programs",
    flags = "SOFTWARE SA-53695",
    year = "2003"
}