Symbolic Methods for the Equivalence Problem for Systems of Implicit Ordinary Differential Equations. - Kurt Schlacher; Andreas Kugi; Kurt Zehetleitner (SNSC, 2001)

Computer Algebra algorithms for the test on accessibility and observability for implicit dynamical systems. - Kurt Zehetleitner; Kurt Schlacher (ECC, 2003)

Computer algebra methods for implicit dynamic systems and applications. - Kurt Zehetleitner; Kurt Schlacher (Math. Comput. Simul., 2004)