LARA

Monadic Second Order Logic