Reduction Patterns: A Practical Tool for Proving Undecidability.

Judith Gal-Ezer, Mark B. Trakhtenbrot

Browse the full ITiCSE paper archive.