Inferring Constraints from Multiple Snapshots (1991)

by David Kurlander, Steven Feiner