Meta-rules: reasoning about control (1980)

by R Davis
Venue:Artificial Intelligence