Update by Means of Inference Rules.

Teodor C. Przymusinski, Hudson Turner

Browse the full LPNMR paper archive.