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