Siebes A.P.J.M. (Un)decidability results for trigger design theories / A.P.J.M.Siebes,J.F.P.van Akker,M.H.van der Voort, 1995. - 31 p. - Текст : непосредственный.
Voort M.H.van der Termination and confluence of rule execution / M.H.van der Voort,A.P.J.M.Siebens, 1993. - 14 p. - Текст : непосредственный.