Reasoning about Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report.

Witold Lukaszewicz, Ewa Madalinska-Bugaj

Browse the full IJCAI paper archive.