Automating Default Reasoning (1999)

AUTHORS:

Niemelä Ilkka

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