Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn.

Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran

Browse the full ICTAC paper archive.