"Counting a Type's Principal Inhabitants."

Sabine Broda, Luís Damas (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics