Making prophecies with decision predicates.

Byron Cook, Eric Koskinen

Browse the full POPL paper archive.