On completeness of narrowing strategies
2005 ◽
pp. 89-101
◽