Internal strategies in a reflective logic (1997)

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