?


Michael
Perlis

Rochester
?


Daniel F.
Kripke

University of California, San Diego and San Diego State University
?


?


?



Michael A.
Grandner

University of Arizona
(Options)

Michael GrandnerX