Martin Davis Emil Post's Contributions to Computer Science conf/lics/LICS4 1989 LICS 134-136 Invited talk db/conf/lics/lics89.html#Davis89