Michael Wachter Rolf Haenni Multi-state Directed Acyclic Graphs. 464-475 2007 conf/ai/2007 Canadian Conference on AI http://dx.doi.org/10.1007/978-3-540-72665-4_40 db/conf/ai/ai2007.html#WachterH07