Rahwan, I., & Larson, K. (2011). Logical mechanism design. Knowledge Engineering Review, 26(1), 61-69. doi:10.1017/S0269888910000421.