Type System Based Rational Lazy IDA.

Oded Betzalel, Ariel Felner, Solomon Eyal Shimony

Browse the full SoCS paper archive.