Embedding Unity into the calculus of inductive constructions - Stehr, Mark-Oliver (Universität <Hamburg> / Fachbereich Informatik: Bericht, 1998)