Model Checking and Validity in Propositional and Modal Inclusion Logics.

Lauri Hella, Antti Kuusisto, Arne Meier, Jonni Virtema

Browse the full MFCS paper archive.