A new sldnf-tree (1992)

by M Martelli, C Tricomi
Venue:Information Processing Letters