N. J. Ross and Selinger, P.,
“Optimal ancilla-free Clifford+T approximation of z-rotations”,
Quantum Information and Computation, vol. 16, no. 11-12, pp. 901-953, 2016.
N. J. Ross,
“Optimal ancilla-free Clifford+V approximation of z-rotations”,
Quantum Information and Computation, vol. 15, no. 11-12, pp. 932-950, 2015.
J. Rührig, Bäuerle, T., Julienne, P. S., Tiesinga, E., and Pfau, T.,
“Photoassociation of spin polarized Chromium”,
Physical Review A, vol. 93, no. 2, p. 021406, 2016.
S. D. Alexander, Ross, N. J., Selinger, P., Smith, J. M., and Valiron, B.,
“Programming the Quantum Future”,
Communications of the ACM, vol. 58, no. 8, pp. 52-61, 2015.
K. Hietala, Rand, R., Hung, S. - H., Li, L., and Hicks, M.,
“Proving Quantum Programs Correct”,
12th International Conference on Interactive Theorem Proving (ITP 2021), vol. 193, pp. 21:1–21:19, 2021.
G. Pupillo, Rey, A. Maria, Williams, C. J., and Clark, C. W.,
“Pseudo-fermionization of 1-D bosons in optical lattices”,
New Journal of Physics, vol. 8, no. 8, pp. 161 - 161, 2006.