Return to Article Details Algebraic Description of Monadic Second Order Logic Download Download PDF