Symbolic Representation of Upward-Closed Sets.

Giorgio Delzanno, Jean-Franois Raskin

Browse the full TACAS paper archive.