"Conditional term rewriting systems Proc. Orsay" - читать интересную книгу автора (Stephane Kaplan, Jean-Pierre Jouannaud)