@InProceedings{CRT98, Author = {Cimatti, A. and Roveri, M. and Traverso, P.}, Title = {Automatic {OBDD}-{B}ased {G}eneration of {U}niversal {P}lans in {N}on-{D}eterministic {D}omains}, BookTitle = {Proc. of AAAI}, year = 1998 }