Handling Polymorphism in Automated Deduction.

Jean-Franois Couchot, Stphane Lescuyer

Browse the full CADE paper archive.