A Benchmark Method for the Propositional Modal Logics K, KT, S4 (1996)

by Alain Heuerding , Stefan Schwendimann
Citations:44 - 1 self