The automation of reasoning with incomplete information : from semantic foundations to efficient computation by Torsten Schaub. ISBN 3540645152. Published by Springer in 1997. Publication and catalogue information, links to buy online and reader comments.