Nadia Nedjah Luiza de Macedo Mourelle Dynamic deterministic pattern-matching. 2000 31 Electr. Notes Theor. Comput. Sci. db/journals/tcs/entcs31.html#NedjahM00 http://www.elsevier.nl/locate/entcs/volume31.html