Edmund M. Clarke, Robert P. Kurshan: Preface. CAV (DIMACS/AMS volume) 1990: xi-