A total AC-compatible ordering based on RPO
- Rubio, A.
- Nieuwenhuis, R.
ISSN: 0304-3975
Année de publication: 1995
Volumen: 142
Número: 2
Pages: 209-227
Type: Article
ISSN: 0304-3975
Année de publication: 1995
Volumen: 142
Número: 2
Pages: 209-227
Type: Article