Simulating Boolean circuits by finite splicing
Author: Katrin Erk
Editor: