A total AC-compatible ordering based on RPO
- Rubio, A.
- Nieuwenhuis, R.
ISSN: 0304-3975
Ano de publicación: 1995
Volume: 142
Número: 2
Páxinas: 209-227
Tipo: Artigo
ISSN: 0304-3975
Ano de publicación: 1995
Volume: 142
Número: 2
Páxinas: 209-227
Tipo: Artigo