Analytical learning and term-rewriting systems | lit.salon