Connecting ABT with arc consistency (2008)

by I Brito, P Meseguer
Venue:In Proc. CP-08