TY  - RPRT
TI  - Fast Context Switching in Real-Time Propositional Reasoning
AU  - Nayak, P. Pandurang
AU  - Williams, Brian C.
PY  - 1997
UR  - https://ntrs.nasa.gov/citations/20020039969
ID  - 20020039969
ER  -