Delzanno, Giorgio Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-1999-2-007.pdf (beliebiger Volltext), 25MB
Delzanno, G., & Raskin, J.-F.(1999). Symbolic representation of upward-closed sets (MPI-I-1999-2-007). Saarbrücken: Max-Planck-Institut für Informatik.