Dona Ergys, Implementation of Constructive Negation in Extensional Higher-Order Logic Programming, 2017,