Title: Reflection in Rewriting Logic
Subjects: Logic programming