George W. Ernst
George W. Ernst.
The utility of independent subgoals in theorem proving.
Information and Control
, 18(3):237-252, April 1971.
Citations.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database