THE USE OF MODELS IN AUTOMATIC THEOREM-PROVING ID TR-72-09 Authors Raymond Reiter Publishing date September 1972 File(s) TR-72-09.pdf