ASPM2: Progress Toward the Analysis of Symbolic Parameter Models: Thad A. Polk, Kurt VanLehn, and Dirk Kalp