Non-monotonic reasoning : formalization of commonsense reasoning /
Lukaszewicz, Witold.
New York ; London : Horwood,
1990.
Artificial intelligence.
Reasoning.