Xs are for Trajectory Evaluation‚ Booleans are for Theorem Proving (Extended Version) (Department of Computing Science‚ University of Glasgow, 2000)

(untitled) - Aagaard, M; Melham, T; O'Leary, J