Approximations de stratégies de preuves en réécriture

Bibtex entry :

@mastersthesis { hodique-dea,
    author = { Y. Hodique },
    title = { Approximations de stratégies de preuves en réécriture },
    journal = { Master Thesis, Univ. Rennes 1 },
    year = { 2003 },
    pubdate = { 2003-07 },
    month = { july },
}