Raymond Reiter A Semantically Guided Deductive System for Automatic Theorem-Proving. 41-46 1973 IJCAI db/conf/ijcai/ijcai73.html#Reiter73