Paolo Liberatore Marco Schaerf BReLS: A System for the Integration of Knowledge Bases. 145-152 2000 KR db/conf/kr/kr2000.html#LiberatoreS00