On Abstracting Decision Procedures for Non-Monotonic Reasoning

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Original languageEnglish
    Title of host publicationProceedings of the ECAI-96 Workshop on Integrating Nonmonotonicity in Automated Reasoning Systems, Budabest, Hungary, August 1996
    EditorsUniversität Koblenz-Landau
    Publication statusPublished - 1996
    MoE publication typeA4 Article in a conference publication

    Cite this