Exporting and Reflecting Abstract Meta-mathematics
by Robert L. Constable
1994
In proceedings of 12th International Conference on Automated Deduction
bibTex ref: Con94a
cite link
In proceedings of 12th International Conference on Automated Deduction
bibTex ref: Con94a