David Harel, Vaughan R. Pratt. Nondeterminism in Logics of Programs. In POPL. pages 203-213, 1978.
@inproceedings{HarelP78, title = {Nondeterminism in Logics of Programs}, author = {David Harel and Vaughan R. Pratt}, year = {1978}, tags = {logic programming, logic}, researchr = {https://researchr.org/publication/HarelP78}, cites = {0}, citedby = {0}, pages = {203-213}, booktitle = {POPL}, }