TY - RPRT TI - Heterogeneous knowledge representation using a finite automaton and first order logic: a case study in electromyography AU - Vincent Rialle AU - Annick Vila AU - Yves Besnard PY - 2009 UR - https://arxiv.org/abs/0903.5289 ID - 0903.5289 ER -