Peter Schroeder-Heister. Rules of Definitional Reflection. In Proceedings, Eighth Annual IEEE Symposium on Logic in Computer Science, 19-23 June 1993, Montreal, Canada. pages 222-232, IEEE Computer Society, 1993.
@inproceedings{Schroeder-Heister93:0, title = {Rules of Definitional Reflection}, author = {Peter Schroeder-Heister}, year = {1993}, tags = {rule-based, rules, reflection}, researchr = {https://researchr.org/publication/Schroeder-Heister93%3A0}, cites = {0}, citedby = {0}, pages = {222-232}, booktitle = {Proceedings, Eighth Annual IEEE Symposium on Logic in Computer Science, 19-23 June 1993, Montreal, Canada}, publisher = {IEEE Computer Society}, }