Guozhu Dong Seymour Ginsburg Localizable Constraints for Object Histories. 391-432 1991 90 Theor. Comput. Sci. 2 db/journals/tcs/tcs90.html#DongG91