Steven M. German Edmund M. Clarke Joseph Y. Halpern True Relative Completeness of an Axiom System for the Language L4 (Abridged) 11-25 conf/lics/LICS1 1986 LICS db/conf/lics/lics86.html#GermanCH86