@inproceedings{Silver83,
  author	= {Silver, B.},
  year		= {1983},
  title		= {Learning Equation Solving Methods from Worked Examples},
  booktitle	= {Proceedings of the 1983 International Machine Learning Workshop},
  address	= {Champaign-Urbana, Illinois}
}