@TechReport{odersky-marriott:negative-tr,
  author = 	 {Marriott, Kim and Odersky, Martin},
  title = 	 {Negative Boolean Constraints},
  institution =  "Monash University",
  year = 	 1994,
  number =	 "94/203",
  month =	 "August"
}