Logic-based knowledge representation (1999)

by F Baader
Venue:Artificial Intelligence Today, Recent Trends and Developments, number 1600 in Lecture Notes in Computer Science