@article{clement:hal-01251222,
    Author = {Cl{\'e}ment, Lionel and Kirman, J{\'e}r{\^o}me and Salvati, Sylvain},
    File = {A logical approach to grammar description - Clément, Kirman, Salvati (0) (0) - a - a - d.pdf},
    Journal = {{Journal of Language Modelling}},
    Keywords = {grammar description ; logic ; Finite State Automata ; logical transduction ; lambda calculus ; Abstract Categorial Grammars},
    Number = {1},
    PDF = {https://hal.archives-ouvertes.fr/hal-01251222/file/cks.pdf},
    Pages = {87--143},
    Series = {Special issue on High-level methodologies for grammar engineering},
    Title = {{A logical approach to grammar description}},
    URL = {https://hal.archives-ouvertes.fr/hal-01251222},
    Volume = {3},
    Year = {2015},
    bdsk-url-1 = {https://hal.archives-ouvertes.fr/hal-01251222},
    bdsk-url-2 = {http://dx.doi.org/10.15398/jlm.v3i1.94},
    date-added = {2016-03-24 11:36:09 +0000},
    date-modified = {2016-03-24 11:36:09 +0000},
    hal_id = {hal-01251222},
    hal_version = {v1},
    doi = {10.15398/jlm.v3i1.94}
}

@article{clement:hal-01251222, Author = {Cl{\'e}ment, Lionel and Kirman, J{\'e}r{\^o}me and Salvati, Sylvain}, File = {A logical approach to grammar description - Clément, Kirman, Salvati (0) (0) - a - a - d.pdf}, Journal = {{Journal of Language Modelling}}, Keywords = {grammar description ; logic ; Finite State Automata ; logical transduction ; lambda calculus ; Abstract Categorial Grammars}, Number = {1}, PDF = {https://hal.archives-ouvertes.fr/hal-01251222/file/cks.pdf}, Pages = {87--143}, Series = {Special issue on High-level methodologies for grammar engineering}, Title = {{A logical approach to grammar description}}, URL = {https://hal.archives-ouvertes.fr/hal-01251222}, Volume = {3}, Year = {2015}, bdsk-url-1 = {https://hal.archives-ouvertes.fr/hal-01251222}, bdsk-url-2 = {http://dx.doi.org/10.15398/jlm.v3i1.94}, date-added = {2016-03-24 11:36:09 +0000}, date-modified = {2016-03-24 11:36:09 +0000}, hal_id = {hal-01251222}, hal_version = {v1}, doi = {10.15398/jlm.v3i1.94} }