@article{HauserTiegna2021,
  author    = {Hauser, Anna Si-Lu and Tiegna, Janneke},
  title     = {"Local self-regulation between democracy and hierarchy. Varieties of structure and values". Digital Mercator Workshop of the DFG Research Unit 2757/Local Self-Governance in the context of Weak Statehood in Antiquity and the Modern Era (LoSAM) from 18-19th March 2021},
  series = {Zeitschrift f{\"u}r Vergleichende Politikwissenschaft},
  volume    = {15},
  journal   = {Zeitschrift f{\"u}r Vergleichende Politikwissenschaft},
  number    = {2},
  issn      = {1865-2654},
  doi       = {10.1007/s12286-021-00487-4},
  url       = {http://nbn-resolving.de/urn:nbn:de:bvb:20-opus-270096},
  pages     = {275-280},
  year      = {2021},
  abstract  = {No abstract available.},
  language  = {en}
}
@article{BoehlerCreignouGalotaetal.2012,
  author    = {B{\"o}hler, Elmar and Creignou, Nadia and Galota, Matthias and Reith, Steffen and Schnoor, Henning and Vollmer, Heribert},
  title     = {Complexity Classifications for Different Equivalence and Audit Problems for Boolean Circuits},
  series = {Logical Methods in Computer Science},
  volume    = {8},
  journal   = {Logical Methods in Computer Science},
  number    = {3:27},
  doi       = {10.2168/LMCS-8(3:27)2012},
  url       = {http://nbn-resolving.de/urn:nbn:de:bvb:20-opus-131121},
  pages     = {1 -- 25},
  year      = {2012},
  abstract  = {We study Boolean circuits as a representation of Boolean functions and conskier different equivalence, audit, and enumeration problems. For a number of restricted sets of gate types (bases) we obtain efficient algorithms, while for all other gate types we show these problems are at least NP-hard.},
  language  = {en}
}