Proof Systems for Nonmonotonic Logics

Reference:

Ilkka Niemelä and Camilla Schwind. Proof systems for nonmonotonic logics. Lecture notes for a tutorial given at the 12th International Conference on Automated Deduction, Nancy, France, June 28–July 1, 1994. 44 pages., 1994.

Suggested BibTeX entry:

@unpublished{Niemela94:cade,
    author = {Ilkka Niemel{\"a} and Camilla Schwind},
    note = {Lecture notes for a tutorial given at the 12th International Conference on Automated Deduction, Nancy, France, June 28--July 1, 1994. 44 pages.},
    title = {Proof Systems for Nonmonotonic Logics},
    year = {1994},
}