B. Alidaee, H. Wang, and H. Sloan, “A Unified Framework for Integer Programming Formulation of Graph Matching Problems”, JAMSIS, vol. 1, pp. 8–33, Jul. 2015.