Uma implementação genérica para Métodos de Tableaux Modais com uma aplicação específica em raciocínio sobre ações - Rojo, Roberta Vanessa (2003)
Apendices