Mathias Soeken, Mariia Mykhailova: Automatic oracle generation in microsoft's quantum development kit using QIR and LLVM passes. DAC 2022: 1363-1366