Rewriting Regular Inequalities (1994)

by Valentin Antimirov
Venue:Fundamentals of Computation Theory