Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints.

Carsten Lutz, Robert Piro, Frank Wolter

Browse the full ECAI paper archive.