Some Results Concerning the Situation Calculus

Olga Stepánková, Ivan M. Havel. Some Results Concerning the Situation Calculus. In MFCS. pages 321-326, 1973.

Abstract

Abstract is missing.