Software

SLDNF Draw
Software to draw SLDNF trees in LaTeX
SLDNF Draw