12 Modal mu-calculi; J Bradfield, C Stirling; 2007; doi_citing_unknown
PDL Has Interpolation ; Tomasz Kowalski; 09/01/2002
Note: Open to append information.