A System for Multi-Level Reasoning (1992)

by F Giunchiglia, P Traverso, A Cimatti, P Pecchiari
Venue:Proc. IMSA'92 International Workshop on Reflection and Meta-level Architecture