Breslauer D. Tight comparison bounds for the string prefix-matching problem / D. Breslauer, L. Colussi, L. Toniolo, 1992. - 7 p. - Текст : непосредственный.
Colussi L. A predicate transformer for unification / L.Colussi,E.Marchiori, 1992. - 16 p. - Текст : непосредственный.