Appendix C: Proofs and tools for DDAEs
2016 ◽
pp. 447-449