Consistency Preservation and Crazy Formulas in BMS.

Guillaume Aucher

Browse the full JELIA paper archive.