Rewriting Regular Inequalities (Extended Abstract).

Valentin M. Antimirov

Browse the full FCT paper archive.