Philippe Aubry Daniel Lazard Marc Moreno Maza On the Theories of Triangular Sets. 105-124 1999 28 J. Symb. Comput. 1-2 db/journals/jsc/jsc28.html#AubryLM99