Logical Foundations of Artificial Intelligence (Chapter 6) by Genesereth and Nilsson, 1988 Handbook of Logic in Artificial Intelligence and Logic Programming Volume 3, Nonmonotonic Reasoning and Uncertain Reasoning (Chapter 6 by Lifschitz), 1994 Nonmonotonic Reasoning by Brewka, Dix and Konolige, 1997