Polyhedral study of the maximum common induced subgraph problem. - Piva, Breno; Souza, Cid (Annals of Operations Research, 2012)