Space-Efficient Circuit Evaluation - Dmytro Taranovsky (CoRR, 2012)