A Forward Inference Engine to Aid in Understanding Specifications.

Donald Cohen A Forward Inference Engine to Aid in Understanding Specifications. 56-60 1984 AAAI db/conf/aaai/aaai84.html#Cohen84