@article{BlumensathCourcelle06,
  title = {{Recognizability, Hypergraph Operations, and Logical Types}},
  pages = {853--919},
  journal = {Information and Computation},
  author = {A. Blumensath and B. Courcelle},
  volume = 204,
  year = {2006},
}