Second-Order Quantifier Elimination in Modal Contexts.

Andrzej Szalas

Browse the full JELIA paper archive.