Solving Disequations

Claude Kirchner, Pierre Lescanne

Browse the full LICS paper archive.