Labelled Tableaux for Multi-Modal Logics (1995)

by Guido Governatori
Venue:Theorem Proving with Analytic
Citations:18 - 10 self