Is this the first published implementation of that Booleanifier technique?

Google/Bing/DuckDuckGo either return nothing or return nothing related for Booleanifier.