"Canonical Regular Types."

Ethan K. Jackson, Nikolaj Bjørner, Wolfram Schulte (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics