Logic-based knowledge representation (MIT Pr., 1989)