"Bar Induction and omega Model Reflection."

Gerhard Jäger, Thomas Strahm (1999)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics