"Deriving Focused Lattice Calculi."

Georg Struth (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics