Keyword:Representation of sets of equivalent terms

Papers
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