Verification by consecutive projections.

Esfandiar Haghverdi, Kemal Inan

Browse the full FORTE paper archive.