The role of logic in artificial intelligence - Moore, Robert C. (CSLI, 1985)