Koepke Machines and Satisfiability for Infinitary Propositional Languages.

Merlin Carl, Benedikt Lwe, Benjamin G. Rin

Browse the full CiE paper archive.