Singleton arc consistency based on failure-first principle | IEEE Conference Publication | IEEE Xplore