DBLP BibTeX Record 'conf/mfcs/StepankovaH73'

@inproceedings{DBLP:conf/mfcs/StepankovaH73,
  author    = {Olga Step{\'a}nkov{\'a} and
               Ivan M. Havel},
  title     = {Some Results Concerning the Situation Calculus},
  booktitle = {MFCS},
  year      = {1973},
  pages     = {321-326},
  crossref  = {DBLP:conf/mfcs/1973},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/mfcs/1973,
  title     = {Mathematical Foundations of Computer Science: Proceedings
               of Symposium and Summer School, Strbsk{\'e} Pleso, High
               Tatras, Czechoslovakia, September 3-8, 1973},
  booktitle = {MFCS},
  publisher = {Mathematical Institute of the Slovak Academy of Sciences},
  year      = {1973},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}