Delzanno, Giorgio Programming Logics, MPI for Informatics, Max Planck Society;
1999-2-007 (beliebiger Volltext), 10KB
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.