Wolfgang Bibel Methods of Automated Reasoning. 171-217 1985 conf/ac/1985ai Advanced Course: Fundamentals of Artificial Intelligence db/conf/ac/ai.html#Bibel85 http://dx.doi.org/10.1007/BFb0022683