TY  - BOOK
AU  - Lukaszewicz, Witold.
TI  - Non-monotonic reasoning: formalization of commonsense reasoning
T2  - Ellis Horwood series in artificial intelligence
SN  - 0136244467
U1  - 006.3 
PY  - 1990///
CY  - New York
PB  - Ellis Horwood
ER  -