Church-rosser and related thue systems (word problem, rewrite rules, congruence)