Reasoning about Change and Persistence: A Solution to the Frame Problem

Authors


Ancillary