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