@inproceedings{KT08a,
  volume="5133",
  month="July",
  author="Dexter Kozen and Wei-Lung (Dustin) Tseng",
  series="Lect. Notes in Comput. Sci.",
  booktitle="Proc. 9th Int. Conf. Mathematics of Program Construction (MPC'08)",
  editor="P. Audebaud and C. Paulin-Mohring",
  title="The {B\"o}hm-{J}acopini Theorem is False, Propositionally",
  publisher="Springer",
  pages="177--192",
  year="2008"
}