A systematic study of infinite canonical systems generated by Knuth-Bendix completion and related problems - Sattler-Klein, Andrea (1996)