@inproceedings{
   intuitive-counterexamples,
   author = {James Lipton and Michael J. O'Donnell},
   title = {Intuitive Counterexamples for Constructive Fallacies},
   booktitle = {Mathematical Foundations of Computer Science 1994 ---
		  19th Annual Symposium, MFCS '94, Ko\u{s}ice,
		  Slovakia, August 1994 --- Proceedings},
   series = {Lecture Notes in Computer Science},
   volume = {841},
   editor = {Igor Pr\'{\i}vara and Branislav Rovan and Peter
		  Ru\u{z}i\u{c}ka},
   publisher = {Springer-Verlag},
   year = {1994},
   pages = {87--111}
}