Propositional dynamic logic of context-free programs and fixpoint logic with chop
Lange, Martin ; Somla, Rafał
Information processing letters, 2006-10, Vol.100 (2), p.72-75
[Periódico revisado por pares]
Amsterdam: Elsevier B.V
Texto completo disponível