Rewriting Techniques and Efficient Theorem Proving [RTETP]Project LeadTudor JebeleanProject Duration01/01/1998 - 31/12/2000PublicationsAll2025 - 20232022 - 20202019 - 20172016 - 20142013 - 20112010 - 20082007 - 20052004 - 20022001 - 19991998 - 19961995 - 19931992 - 19901989 - 19871986 - 1965Advanced SearchRISC Report Series