P. Gutierrez and P. Meseguer, “Saving Redundant Messages in BnB-ADOPT”, AAAI, vol. 24, no. 1, pp. 1259–1260, Jul. 2010.