Giuseppe De Giacomo Intensional query answering by partial evaluation. 18-20 1992 conf/cnkbs/1992 CNKBS db/conf/cnkbs/cnkbs1992.html#Giacomo92