Handbook of logic in artificial intelligence and logic programming. Vol.3, Nonmonotonic reasoning and uncertain reasoning. ISBN 0198537476. Published by Clarendon in 1994. Publication and catalogue information, links to buy online and reader comments.