CURRENTLY SOLD OUT

The Automation of Reasoning with Incomplete Information: From Semantic Foundations to Efficient Computation by T. Schaub (Paperback, 1998)