System Description: RDL : Rewrite and Decision Procedure Laboratory.

Alessandro Armando, Luca Compagna, Silvio Ranise

Browse the full CADE paper archive.