"Disjunctive Tautologies as Synchronisation Schemes."

Vincent Danos, Jean-Louis Krivine (2000)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics