• Ewin C, Pearce A and Vassos S. Transforming situation calculus action theories for optimised reasoning. Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning. (448-457).

    /doi/10.5555/3031929.3031984