Matthew S. Bothner, Young-Kyu Kim, Wonjae Lee
https://www.sciencedirect.com/science/article/pii/S0049089X15000800