Gasquet, Olivier,
Herzig, Andreas and
Sahade, Mohamad. 2006.
“Terminating Modal Tableaux with Simple Completeness Proof.” in
Advances in Modal Logic, volume VI, edited by Guido
Governatori, Ian
Hodkinson, and Yde
Venema, pp. 167–186. London: King’s College Publications.