Heterogeneous knowledge representation using a finite automaton and first order logic: a case study in electromyography. - Vincent Rialle; Annick Vila; Yves Besnard (Artif. Intell. Medicine, 1991)