Yonathan Bard Rule-Based Inferencing Functions for APL Applications. 42-52 1988 3 IEEE Expert 1 db/journals/expert/expert3.html#Bard88