Giorgio Montini Efficiency Considerations on Built-in Taxonomic Reasoning in PROLOG. 68-75 1987 IJCAI db/conf/ijcai/ijcai87.html#Montini87