Formal specification of advanced A1 architectures /
Craig, Iain D.
New York ; London : Ellis Horwood,
1991.
Artificial intelligence.
Problem solving.