Albert R. Meyer, Jerzy Tiuryn. A Note On Equivalences Among Logics of Programs. In Dexter Kozen, editor, Logics of Programs, Workshop, Yorktown Heights, New York, May 1981. Volume 131 of Lecture Notes in Computer Science, pages 282-299, Springer, 1981.
@inproceedings{MeyerT81,
title = {A Note On Equivalences Among Logics of Programs},
author = {Albert R. Meyer and Jerzy Tiuryn},
year = {1981},
tags = {logic programming, logic},
researchr = {https://researchr.org/publication/MeyerT81},
cites = {0},
citedby = {0},
pages = {282-299},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, May 1981},
editor = {Dexter Kozen},
volume = {131},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-11212-X},
}