@misc{
    circ2dlp05,
    author = "Oikarinen, Emilia",
    note = "Computer Program",
    url = "http://www.tcs.hut.fi/Software/circ2dlp/",
    year = "2005",
    flags = "SA-53695 SOFTWARE",
    title = "{CIRC2DLP} 1.1 --- Software for Translating Parallel Circumscription to Disjunctive Logic Programming"
}