Gutierrez, P.; Meseguer, P. Saving Redundant Messages in BnB-ADOPT. AAAI 2010, 24, 1259-1260.