Hans Ulrich Simon Efficient computation of approximate isomorphisms between Boolean functions. 237-240 2016 116 Inf. Process. Lett. 3 https://doi.org/10.1016/j.ipl.2015.11.009 db/journals/ipl/ipl116.html#Simon16