Practical Tools for Knowledge Representation and Nonmonotonic Reasoning (2000)

AUTHORS:

Niemelä Ilkka , Truszczynski Miros\law

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