"Dynamic" Inferencing with Generalized Resolution.

Gordon Beavers, Hal Berghel

Browse the full SAC paper archive.