On Effective Axiomatizations of Hoare Logics.

Edmund M. Clarke, Steven M. German, Joseph Y. Halpern

Browse the full POPL paper archive.