Testability of AND-EXOR logic vs. AND-OR logic | Publicación