C. Macnish

• Logic in Artificial Intelligence (Lecture Notes in Artificial Intelligence : Volume 838)