The Magic Words Are Squeamish Ossifrage (Extended Abstract)

by Derek Atkins, Michael Graff, Arjen K. Lenstra, Paul C. Leyland