Viorica Sofronie Formula-handling computer solution of Boolean equations, I. Ring equations. 181-185 1989 37 Bulletin of the EATCS db/journals/eatcs/eatcs37.html#Sofronie89