"Universality Results for Models in Locally Boolean Domains."

Tobias Löw, Thomas Streicher (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics