R-calculus: a logical approach for knowledge base maintenance | IEEE Conference Publication | IEEE Xplore