An Open-Source, Industrial-Strength Optimizing Compiler for Quantum Programs. - Robert S. Smith; Eric C. Peterson; Mark G. Skilbeck; Erik J. Davis (CoRR, 2020)