Canonical completeness of infinitary mu

TitleCanonical completeness of infinitary mu
Publication TypeJournal Article
Year of Publication2008
AuthorsJäger, G, Kretz, M, Studer, T
JournalJournal of Logic and Algebraic Programming
Volume76
Pagination270-292
URLhttp://www.iam.unibe.ch/ltgpub/2008/jks08.pdf
DOI10.1016/j.jlap.2008.02.005