A metatheoretical characterization of negation as finite failure. Giovanni Criscuolo — 1996 Mathware and Soft Computing