P. Pandurang Nayak Brian C. Williams Fast Context Switching in Real-Time Propositional Reasoning. 50-56 1997 AAAI/IAAI db/conf/aaai/aaai97.html#NayakW97