@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
}