Roni Rosner, Amir Pnueli
A Choppy Logic
LICS, 1986.
@inproceedings{LICS-1986-RosnerP,
author = "Roni Rosner and Amir Pnueli",
booktitle = "{Proceedings of the First Symposium on Logic in Computer Science}",
isbn = "0-8186-0720-3",
pages = "306--313",
publisher = "{IEEE Computer Society}",
title = "{A Choppy Logic}",
year = 1986,
}