Proof Systems for Nonmonotonic Logics (1994)

AUTHORS:

Niemelä Ilkka , Schwind Camilla

URL:
http://www.tcs.hut.fi/~ini/

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