Internal Strategies in a Reflective Logic (1997)

Cached

Download Links

by Manuel Clavel , José Meseguer
Venue:Proceedings of the CADE-14 Workshop on Strategies in Automated Deduction
Citations:21 - 15 self