Logic-Based Knowledge Representation - Paper

Franz Baader