Bertram Fronhöfer Linearity and Plan Generation. 213-225 1987 5 New Generation Comput. 3 db/journals/ngc/ngc5.html#Fronhofer87