Steven M. German, Edmund M. Clarke, Joseph Y. Halpern
True Relative Completeness of an Axiom System for the Language L4 (Abridged)
LICS, 1986.
@inproceedings{LICS-1986-GermanCH,
author = "Steven M. German and Edmund M. Clarke and Joseph Y. Halpern",
booktitle = "{Proceedings of the First Symposium on Logic in Computer Science}",
isbn = "0-8186-0720-3",
pages = "11--25",
publisher = "{IEEE Computer Society}",
title = "{True Relative Completeness of an Axiom System for the Language L4 (Abridged)}",
year = 1986,
}