@MastersThesis{J99,
  author = 	 {Jensen, R.~M.},
  title = 	 {{OBDD}-based Universal Planning in Multi-Agent, 
                  Non-Deterministic Domains},
  school = 	 {Technical University of Denmark},
  year = 	 1999,
  note =         {IAU99F02},
  address =	 {Department of Automation}
}