Putting ABox Updates into Action by Drescher, C, Liu, H, Baader, F, Steinke, P, Thielscher, M

Putting ABox Updates into Action by Drescher, C, Liu, H, Baader, F, Guhlemann, S, Petersohn, U, Steinke, P, Thielscher, M

A Decomposition Rule for Decision Procedures by Resolution-Based Calculi. by Hustadt, U, Motik, B, Sattler, U

Other Authors: “…Baader, F…”