A Framework for Parameterized Design of Rule Systems Applied to Algebra.

Eric Butler, Emina Torlak, Zoran Popovic

Browse the full ITS paper archive.