-
24Proofs about Proofs: a defense of classical logic. Part I: the aims of classical logicIn Michael Detlefsen (ed.), Proof, Logic and Formalization, Routledge. 2005.
-
76The decision problem for linear temporal logicNotre Dame Journal of Formal Logic 26 (2): 115-128. 1985.
Princeton, New Jersey, United States of America