Printing of terms
Author: Frank Pfenning

