Maison poème Bruxelles. Two-act play structure.

Resolution in propositional logic and predicate logic. AAA Special Live 2016 in Dome.