NJ Nilsson, 1991. “Logic and artificial intelligence”. Artificial Intelligence4731–56.

L Birnbaum, 1991. “Rigor mortis: a response to Nilsson' ‘Logic and artificial intelligence’. Artificial Intelligence4757–78.