Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch’s trick | Publicación