Olga Stepánková, Ivan M. Havel. Some Results Concerning the Situation Calculus. In MFCS. pages 321-326, 1973.
@inproceedings{StepankovaH73,
title = {Some Results Concerning the Situation Calculus},
author = {Olga Stepánková and Ivan M. Havel},
year = {1973},
researchr = {https://researchr.org/publication/StepankovaH73},
cites = {0},
citedby = {0},
pages = {321-326},
booktitle = {MFCS},
}