Building Extended Canonizers by Graph-Based Deduction.

Silvio Ranise, Christelle Scharff

Browse the full ICTAC paper archive.