@Misc{Fukuda:1997,
	OPTkey = 			 {},
	author = 	 {Komei Fukuda},
	title = 		 {cdd package},
	howpublished = {URL http://www.ifor.math.ethz.ch/~fukuda/cdd\_home/cdd.html},
	OPTmonth = 		 {},
	OPTyear = 		 {},
	OPTnote = 		 {},
	OPTannote = 	 {}
}

@Book{Boole:1854,
	author = 	 {George Boole},
	ALTeditor = 	 {},
	title = 			 {The Laws Of Thought},
	publisher = {Dover Publications,Inc.},
	year = 				 {1958},
	OPTkey = 			 {},
	OPTvolume = 	 {},
	OPTnumber = 	 {},
	OPTseries = 	 {},
	address = 	 {New York},
	edition = 	 {Dover},
	OPTmonth = 		 {},
	note = 		 {originally published by Macmillan in 1854},
	OPTannote = 	 {}
}


@Article{Boole:1862,
	author = 			 {George Boole},
	title = 			 {On the theory of probabilities},
	journal = 		 {Philosophical Transactions of the Royal Society of London},
	year = 				 {1862},
	OPTkey = 			 {},
	volume = 	 {225},
	OPTnumber = 	 {},
	OPTpages = 		 {},
	OPTmonth = 		 {},
	OPTnote = 		 {},
	OPTannote = 	 {}
}

@InCollection{Motzkin:1953,
	author = 	     {T.S. Motzkin and H.Raiffa and GL. Thompson and R.M.Thrall},
	editor = 	     {H.W. Kuhn and A.W.Tucker},
	booktitle = 	 {Contributions to theory of games},
	title = 		   {The double description method},
	publisher = 	 {Princeton University Press},
	year = 				 {1953},
	OPTkey = 			 {},
	volume = 	     {2},
	OPTnumber = 	 {},
	OPTseries = 	 {},
	OPTtype = 		 {},
	address = 	   {Princeton},
	OPTedition = 	 {},
	OPTmonth = 		 {},
	OPTpages = 		 {},
	OPTnote = 		 {},
	OPTannote = 	 {}
}


@Book{Pitowsky:1989,
	author = 	 {Itamar Pitowsky},
	ALTeditor = 	 {},
	title = 			 {Quantum Probability - Quantum Logic},
	publisher = 	 {Springer-Verlag},
	year = 				 {1989},
	OPTkey = 			 {},
	OPTvolume = 	 {},
	number = 	 {321},
	series = 	 {Lecture Notes in Physics},
	address = 	 {Berlin Heidelberg},
	OPTedition = 	 {},
	OPTmonth = 		 {},
	OPTnote = 		 {},
	OPTannote = 	 {}
}