"Strong conceptual completeness for first-order logic."

Michael Makkai (1988)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics