Rachid Echahed On Comleteness of Narrowing Strategies. 89-101 1988 conf/caap/1988 CAAP db/conf/caap/caap88.html#Echahed88 http://dx.doi.org/10.1007/BFb0026098