Keyword:Simplification of expressions

Publications
A Method to Simplify Expressions: Intuition and Preliminary Experimental Results Baudouin Le Charlier and Mêton Mêton Atindehou In:IWIL-2015. 11th International Workshop on the Implementation of Logics