Restructuring formula trees. Unpublished manuscript (1986)

by V Ramachandran