Title: Decidable, logic-based knowledge representation
First published: 1987