Updating knowledge bases II (1991)

by A Guessoum, J W Lloyd
Venue:New Generation Computing