Nathan Vaillette's Programs

• plugSUR.pl: a Prolog implementation of the plugging (resolution) algorithm for scopally underspecified representations for typed languages. (gzipped tar file)
• Compilation of monadic second-order logic to finite-state transducers