An analogue of the Myhill-Nerode theorem and its use in computing finite-basis characterizations | IEEE Conference Publication | IEEE Xplore