Heterogeneous knowledge representation using a finite automaton and first order logic: a case study in electromyography

Vincent Rialle Annick Vila Yves Besnard Heterogeneous knowledge representation using a finite automaton and first order logic: a case study in electromyography http://arxiv.org/abs/0903.5289 2009 CoRR abs/0903.5289 db/journals/corr/corr0903.html#abs-0903-5289 informal publication