Title: Rewriting Logic and Its Applications
Subjects: Logic, symbolic and mathematical