Chun Wai Liew Donald E. Smith Reasoning about Systems of Physics Equations. 463-472 2002 conf/its/2002 Intelligent Tutoring Systems http://link.springer.de/link/service/series/0558/bibs/2363/23630463.htm db/conf/its/its2002.html#LiewS02