Solving problems by formula manipulation in logic and linear inequalities (1972)

by L Hodes
Venue:Artificial Intelligence