Gianluca Torta Pietro Torasso On the role of modeling causal independence for system model compilation with OBDDs. 17-26 2007 20 AI Commun. 1 http://iospress.metapress.com/openurl.asp?genre=article&issn=0921-7126&volume=20&issue=1&spage=17 db/journals/aicom/aicom20.html#TortaT07