@unpublished{
    NT2000:aaai_ini,
    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/",
    month = "",
    title = "Practical Tools for Knowledge Representation and Nonmonotonic Reasoning",
    year = "2000"
}

AUTHORS:

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

AUTHORS:

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

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