By Rubio A.   Nieuwenhuis R.   in Theoretical Computer Science

ISSN:0304-3975|142|2|209-227

Elsevier‎(1995)‎

Access to resources Favorite 11.311939

By Godoy G.   Nieuwenhuis R.   in Journal of Symbolic Computation

ISSN:0747-7171|37|1|1-33

Elsevier‎(2004)‎

Access to resources Favorite 10.539067