@article{BoehlerCreignouGalotaetal.2012,
  author    = {Elmar B{\"o}hler and Nadia Creignou and Matthias Galota and Steffen Reith and Henning Schnoor and Heribert Vollmer},
  title     = {Complexity Classifications for Different Equivalence and Audit Problems for Boolean Circuits},
  journal   = {Logical Methods in Computer Science},
  volume    = {8},
  number    = {3:27},
  pages     = {1 -- 25},
  doi       = {10.2168/LMCS-8(3:27)2012},
  year      = {2012},
}