Detail

Publication date: 01/01/1997

Generalizing Updates: From Models to Programs