Wlodzimierz Drabent What is Failure? An Approach to Constructive Negation Acta Inf. 32 1 1995 27-29 db/journals/acta/acta32.html#Drabent95