Uwe Keller Towards Novel Techniques for Reasoning in Expressive Description Logics based on Binary Decision Diagrams. 2007 KWEPSY http://ceur-ws.org/Vol-275/paper02.pdf conf/esws/2007kwepsy db/conf/esws/kwepsy2007.html#Keller07