selected publications conference paper ESYSIT: Expert system for symbolic integration teaching. Proceedings of the Joint Conference on Intelligent Systems/ISAI/IFIS. 250-254. 1996-01-01