On the categorizing of preserving quaternary regularly separable relations in partial four-valued logic | IEEE Conference Publication | IEEE Xplore