A Proof of Kamp's theorem

@inproceedings{Rabinovich2012APO,
  title={A Proof of Kamp's theorem},
  author={Alexander Moshe Rabinovich},
  booktitle={CSL},
  year={2012}
}