Well-Founded Reasoning with Classical Negation