## Alexander Rabinovich

*A Proof of Kamp’s theorem*

CSL, 2012.

@inproceedings{CSL-2012-Rabinovich,
author = "Alexander Rabinovich",
booktitle = "{Proceedings of the 21st EACSL Annual Conference / 26th International Workshop on Computer Science Logic}",
doi = "10.4230/LIPIcs.CSL.2012.516",
isbn = "978-3-939897-42-2",
pages = "516--527",
publisher = "{Schloss Dagstuhl — Leibniz-Zentrum für Informatik}",
series = "{Leibniz International Proceedings in Informatics}",
title = "{A Proof of Kamp’s theorem}",
volume = 16,
year = 2012,
}

### Tags: