"Expressive Power, Satisfiability and Equivalence of Circuits over ..."

Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics