Maurizio Martelli Chiara Tricomi A New SLDNF-Tree. 57-62 1992 43 Inf. Process. Lett. 2 db/journals/ipl/ipl43.html#MartelliT92