arXiv 2002-07-25 EN An Almost Classical Logic for Logic Programming and Nonmonotonic Reasoning Bry, François
