@inproceedings{AriolaHerbelin03,
  author      = {Zena M. Ariola and Hugo Herbelin},
  title       = {Minimal Classical Logic and Control Operators},
  booktitle   = {Thirtieth International Colloquium on Automata,
                 Languages and Programming, ICALP '03, 
                 Eindhoven, The Netherlands, June 30 - July 4, 2003},
  volume      = {2719},
  publisher   = {Springer},
  series      = {Lecture Notes in Computer Science},
  pages       = {871--885},
  year        = {2003},
  isbn        = {3-540-40493-7}
}