Chun Wai Liew, Donald E. Smith: Reasoning about Systems of Physics Equations. Intelligent Tutoring Systems 2002: 463-472