Satisfiability of algebraic circuits over sets of natural numbers. - Christian Glaßer; Christian Reitwießner; Stephen D. Travers; Matthias Waldherr (Discret. Appl. Math., 2010)

Equivalence Problems for Circuits over Sets of Natural Numbers. - Christian Glaßer; Katrin Herr; Christian Reitwießner; Stephen D. Travers; Matthias Waldherr (Theory Comput. Syst., 2010)