Partial list of contents of
Fundamenta Informaticae
Published by IOS Press
Volume 30
j-fi-30-109
Yan Zhang and Norman Y. Foo:
Deriving Invariants and Constraints from Action Theories.
Pages 109-123.
30-Jul-97 12:05