A New SLDNF-Tree. - Maurizio Martelli; Chiara Tricomi (Inf. Process. Lett., 1992)