A total AC-compatible ordering based on RPO | Publicación