Bottom-up evaluation of embedded implications.

Burkhard Freitag Bottom-up evaluation of embedded implications. 24-26 1992 conf/cnkbs/1992 CNKBS db/conf/cnkbs/cnkbs1992.html#Freitag92