A Total AC-Compatible Ordering Based (1995)

by A Rubio, R Nieuwenhuis
Venue:on RPO, Theoretical Computer Science 142