Title: Analytical learning and term-rewriting systems
Subjects: Rewriting systems (Computer science)