1. Higher order derivative constraints and a QSIM-based total simulation scheme;Chiu,1988
2. Comparative analysis and qualitative integral representations;Chiu,1989
3. QPC: a compiler from physical models into qualitative differential equations;Crawford,1990