A linear logic approach to consistency preserving updates (1996)

by N Bidoit, S Cerrito, C Froidevaux
Venue:Journal of Logic and Computation