TY  - BOOK
A1  - Schaub, Torsten H.
T1  - The automation of reasoning with incomplete information : from semantic foundations to efficient computation
T2  - Lecture notes in computer science
Y1  - 1999
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/20797
SN  - 3-540-64515-2
VL  - 1409
PB  - Springer
CY  - Berlin
ER  -