Modulo-Counting Quantifiers Over Finite Trees

Andreas Potthoff. Modulo-Counting Quantifiers Over Finite Trees. Theoretical Computer Science, 126(1):97-112, 1994.

Abstract

Abstract is missing.