For those who are interested, here’s a link to the original Clark/Chalmers paper that set off their work. I emphasize that I haven’t read this paper yet, so I don’t know how many new things have been developed since.