@unpublished{
    NT2000:aaai,
    author = {Niemel{\"a}, Ilkka and Truszczy\'nski, Miros{\l}aw},
    note = "Lecture notes for a tutorial given at the 17th National Conference on Artificial Intelligence, Austin, Texas, July 30--August 3, 2000. 166 pages. Available at \url{http://www.tcs.hut.fi/~ini/}",
    url = "http://www.tcs.hut.fi/~{}ini/",
    year = "2000",
    month = "",
    title = "Practical Tools for Knowledge Representation and Nonmonotonic Reasoning"
}