Witold Lukaszewicz, Ewa Madalinska-Bugaj. Reasoning about Action and Change Using Dijkstra s Semantics for Programming Languages: Preliminary Report. In IJCAI. pages 1950-1955, 1995.
No references recorded for this publication.
No citations of this publication recorded.