An Extension of Rabin's Complete Proof Concept.

Jerzy W. Jaromczyk

Browse the full MFCS paper archive.