@techreport{Batz:06,
  author={Gernot Veit Batz},
  title=\{An Optimization Technique for Subgraph Matching Strategies},
  year=\{2006},
  month=\{April},
  number=\{2006-7},
  institution=\{Universität Karlsruhe, IPD Goos},
  url=\{http://www.info.uni-karlsruhe.de/papers/TR_2006_7.pdf},
}