Abhaya C. Nayak Norman Y. Foo Maurice Pagnucco Abdul Sattar Changing Conditional Belief Unconditionally. 119-135 1996 conf/tark/1996 TARK db/conf/tark/tark1996.html#NayakFPS96