Steven Greenbaum

1957

• Input transformations and resolution implementation techniques for theorem proving in first-order logic