Jean François Pique Drawing Trees and their Equations in Prolog. 23-33 1984 ICLP db/conf/iclp/iclp84.html#Pique84