Bernd Fischer Jon Whittle An Integration of Deductive Retrieval into Deductive Synthesis. 52- 1999 ASE http://computer.org/proceedings/ase/0415/04150052abs.htm db/conf/kbse/ase1999.html#FischerW99