A demand-driven narrowing calculus with overlapping definitional trees | Publicación