@ARTICLE{banzhaflocal,
  author = {Banzhaf, Wolfgang and Banscherus, Dirk and Dittrich, Peter},
  title = {Local Modules}
}