Marcelo Finger Renata Wassermann Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control. 179-204 2004 14 J. Log. Comput. 2 http://dx.doi.org/10.1093/logcom/14.2.179 db/journals/logcom/logcom14.html#FingerW04