Miki Hermann, Gernot Salzer. On the Word, Subsumption, and Complement Problem for Recurrent Term Schematizations.
23nd International Conference on Mathematical Foundations of Computer Science, 1998, Brno, République Tchèque, pp.257-266.
⟨inria-00098687⟩