Automata for Reduction Properties Solving

Journal of Symbolic Computation - Tập 20 - Trang 215-233 - 1995
Max Dauchet1, Anne-Cécile Caron1, Jean-Luc Coquidé1
1Laboratoire d'Informatique Fondamentale de Lille, URA 369 CNRS, UFR d'IEEA, Université de Lille I, 59655 Villeneuve D'Ascq Cedex, France