Title: Control of reasoning in knowledge-based systems
First published: 1987