J. Blocki, N. Christin, A. Datta, A. Procaccia, and A. Sinha, “Audit Games with Multiple Defender Resources”, AAAI, vol. 29, no. 1, Feb. 2015.