On the computational aspects of the BK-subproduct inference mechanism | IEEE Conference Publication | IEEE Xplore