Completions in Subvarieties of BL-Algebras | IEEE Conference Publication | IEEE Xplore