Improving Proof Plans through Learning from Examples

Pěchouček, M., Banerji, R., Štěpánková, O.

PĚCHOUČEK, M., R. BANERJI, and O. ŠTĚPÁNKOVÁ. Improving Proof Plans through Learning from Examples. 1997. GLM 04/97.