Logic-based knowledge representation - Jackson, Peter (MIT Press, 1989)