@InProceedings{AehligBeckmann07,
  author =       {Aehlig, Klaus and Beckmann, Arnold},
  title =        {Propositional Logic for Circuit Classes},
  crossref =     {CSL07},
  pages = {512--526}
}