Foundations of knowledge representation and reasoning (Springer, 1994)