Drawing updates from derivations (1990)

by H Decker
Venue:Proceedings of the Thirdlnternational Conference on Database Theory