Joseph Y. Halpern, John H. Reif. The Propositional Dynamic Logic of Deterministic, Well-Structured Programs (Extended Abstract). In 22nd Annual Symposium on Foundations of Computer Science, 28-30 October 1981, Nashville, Tennessee, USA. pages 322-334, IEEE, 1981.
@inproceedings{HalpernR81:0,
title = {The Propositional Dynamic Logic of Deterministic, Well-Structured Programs (Extended Abstract)},
author = {Joseph Y. Halpern and John H. Reif},
year = {1981},
tags = {logic programming, logic},
researchr = {https://researchr.org/publication/HalpernR81%3A0},
cites = {0},
citedby = {0},
pages = {322-334},
booktitle = {22nd Annual Symposium on Foundations of Computer Science, 28-30 October 1981, Nashville, Tennessee, USA},
publisher = {IEEE},
}