Abstract_rewriting_system