A total AC-compatible ordering based on RPO
- Rubio, A.
- Nieuwenhuis, R.
ISSN: 0304-3975
Año de publicación: 1995
Volumen: 142
Número: 2
Páginas: 209-227
Tipo: Artículo
ISSN: 0304-3975
Año de publicación: 1995
Volumen: 142
Número: 2
Páginas: 209-227
Tipo: Artículo