@InProceedings{ddd-csl99,
  author = 	 {J. M{\o}ller and J. Lichtenberg and 
                  H. R. Andersen and H. Hulgaard},
  title = 	 {Difference Decision Diagrams},
  booktitle = 	 {Computer Science Logic},
  year =	 1999,
  address =	 {The IT University of Copenhagen, Denmark},
  month =	 sep
}