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

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