• T. A. Henzinger, O. Kupferman, S. Qadeer. From Pre-historic to Post-modern Symbolic Model Checking. Proceedings of the 10th International Conference on Computer-Aided Verification, 1998. Postscript.