Equational Properties of Stratified Least Fixed Points (Extended Abstract).

Zoltn sik

Browse the full WoLLIC paper archive.