Shapiro (2009), ‘Knowledge Representation and Reasoning Logics for Artificial Intelligence’
» References