Laura Giordano Alberto Martelli A Logical Characterization for Truth Maintenance Systems with Dependency-Directed Backtracking. 11-46 1995 11 Computational Intelligence db/journals/ci/ci11.html#GiordanoM95