True Relative Completeness of an Axiom System for the Language L4 (Abridged)

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

Browse the full LICS paper archive.