Modal Propositional Semantics for Reason Maintenance Systems.

Allen L. Brown Jr.
Published in: IJCAI (1985)