Dexter Kozen, Jerzy Tiuryn. On the Completeness of Propositional Hoare Logic. In Jules Desharnais, editor, Participants Copies of Fifth International Seminar on Relational Methods in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada. pages 195-202, 2000.
Abstract is missing.