Double-Negation Elimination in Some Propositional Logics
Drawing Sound Conclusions from Unsound Premises
Dynamic Backward Slicing of Rewriting Logic Computations
Dynamic Magic Sets for Super-Consistent Answer Set Programs
Canada
World
United States