On 14/11/13 22:39, Martin Escardo wrote: > > > On 14/11/13 22:20, Martin Escardo wrote: >> (E.g. Licata and Schulman's LICS >> paper > > Sorry. Schulman. Apologies to Mike. Can't get this right. I need to disable my spell un-checker. Shulman. M.