Voort M.H.van der Termination and confluence of rule execution / M.H.van der Voort,A.P.J.M.Siebens, 1993. - 14 p. - Текст : непосредственный.