Ensuring the quasi-termination of needed narrowing computations

Ramos Díaz J. Guadalupe, Silva Galiana Josep Francesc, Vidal Oriola Germán Francisco

2007

Information Processing Letters