Toward Automated Rational Reconstruction: A Case Study. - Chris Tong; Phil Franklin (ML, 1989)

Tuning a Knowledge Base of Refinement Rules To Create Good Circuit Designs. - Chris Tong; Phil Franklin (IJCAI, 1989)