A total AC-compatible ordering based on RPO
- Rubio, A.
- Nieuwenhuis, R.
ISSN: 0304-3975
Any de publicació: 1995
Volum: 142
Número: 2
Pàgines: 209-227
Tipus: Article
ISSN: 0304-3975
Any de publicació: 1995
Volum: 142
Número: 2
Pàgines: 209-227
Tipus: Article