Decidable, logic-based knowledge representationPeter Frederick Patel-Schneider · First published 1987Open the Tome