Internal Strategies in a Reflective Logic (1997)

by M Clavel, J Meseguer
Venue:Proc. of the CADE-14 Workshop on Strategies in Automated Deduction