Renato Bruni On the orthogonalization of arbitrary Boolean formulae. 61-74 2005 9 JAMDS 2 http://dx.doi.org/10.1155/JAMDS.2005.61 db/journals/jamds/jamds9.html#Bruni05