"E3Solver: decision tree unification by enumeration."

M. Ammar Ben Khadra (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics