RA:Bert95e

Didier Bert, Rachid Echahed. Abstraction of conditional term rewriting systems. Research Report IMAG-LGI, 1995.

Contact

Didier Bert

BibTex Reference

@TechReport{RA:Bert95e,
   Author = {Bert, Didier and Echahed, Rachid},
   Title = {{Abstraction of conditional term rewriting systems}},
   Institution = {IMAG-LGI},
   Year = {1995}
}

EndNote Reference [help]

Get EndNote Reference (.ref)