Joo-Hwee Lim Ho-Chung Lui Hoon heng Teh A Deductive Neural-Logic System. 96-102 1992 ISMVL db/conf/ismvl/ismvl1992.html#LimLT92