Walters H.R. Rewrite systems for integer arithmetic / H. R. Walters, H. Zantema, 1995. - 13 p. - Текст : непосредственный.
Pol J.C.van de Binary decision diagrams by shared rewriting / J.C.van de Pol,H.Zantema, 2000. - 14 p. - Текст : непосредственный.
Groote J.F. Resolution and binary decision diagrams connot simulate each other polynomially / J.F.Groote,H.Zantema, 2000. - 12 p. - Текст : непосредственный.
Fokkink W.J. Basis process algebra with iteration:completeness of its equational axioms / W.J.Fokkink,H.Zantema, 1993. - 16 p. - Текст : непосредственный.