Delzanno, Giorgio Programming Logics, MPI for Informatics, Max Planck Society;
Delzanno, G., & Raskin, J.-F. (2000). Symbolic Representation of Upward-Closed Sets. In S. Graf, & M. I. Schwartzbach (Eds.), Proceedings of the 6th Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS-00); Held as Part of the European Joint Conferences on the Theory and Practice of Software (ETAPS-00) (pp. 426-440). Berlin, Germany: Springer.