Yan Zhang Norman Y. Foo Deriving Invariants and Constraints from Action Theories. 109-123 1997 30 Fundam. Inform. 1 db/journals/fuin/fuin30.html#ZhangF97