Ipeq - equivalence testing of logic programs

    Research output: Artistic and non-textual formSoftwareScientific

    Original languageEnglish
    Edition1.13
    Publication statusPublished - 2002
    MoE publication typeI2 ICT software

    Keywords

    • answer set programming
    • equivalence testing
    • logic programs
    • stable model semantics
    • translator

    Cite this