Stable Model Semantics: From Theory to Implementations and Applications (2000)
AUTHORS:
Niemelä Ilkka
URL:
http://www.tcs.hut.fi/~ini/
@unpublished{ Niemela2000:cl_ini, author = {Niemel{\"a}, Ilkka}, note = "Lecture notes for a tutorial given at the First International Conference on Computational Logic, Imperial College, London, UK, July 24--28, 2000. 72 pages.", url = "http://www.tcs.hut.fi/~ini/", month = "", title = "Stable Model Semantics: From Theory to Implementations and Applications", year = "2000" }