## Harald Rueß

*Computational Reflection in the Calculus of Constructions and its Application to Theorem Proving*

TLCA, 1997.

@inproceedings{TLCA-1997-Ruess, author = "Harald Rueß", booktitle = "{Proceedings of the Fourth International Conference on Typed Lambda Calculi and Applications}", doi = "10.1007/3-540-62688-3_44", isbn = "3-540-62688-3", pages = "319--335", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Computational Reflection in the Calculus of Constructions and its Application to Theorem Proving}", volume = 1210, year = 1997, }