Reasoning About Change (1988)

by Y Shoham