Logical Refinements of Church's Problem.

Alexander Rabinovich, Wolfgang Thomas

Browse the full CSL paper archive.