"A proof-theoretic investigation of a logic of positions."

Stefano Baratella, Andrea Masini (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics