Supporting knowledge-base evolution with incremental formalization (1994)

by Frank M Shipman, Raymond McCall