Citation: H. Comon et R. Treinen, THE FIRST-ORDER THEORY OF LEXICOGRAPHIC PATH ORDERINGS IS UNDECIDABLE, Theoretical computer science, 176(1-2), 1997, pp. 67-87
Citation: R. Treinen et al., APPLICATION OF A MODAL-BASED TRANSIENT ENERGY FUNCTION TO A LARGE-SCALE STRESSED POWER-SYSTEM - ASSESSMENT OF TRANSIENT STABILITY AND TRANSIENT VOLTAGE DIP, INTERNATIONAL JOURNAL OF ELECTRICAL POWER AND ENERGY SYSTEMS, 15(2), 1993, pp. 117-125