Thomas Studer JUSTIFICATION LOGIC , INFERENCE TRACKING