Solving the Database Update Problem Using Linear Logic.

Dong-Tsan Lee, Chin-Ping Tsang

Browse the full ADC paper archive.