Patrick Doherty;Jarosław Kachniarz;Andrzej Szałas
-;-;-
Second-Order Quantifier Elimination in Modal Contexts
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence