quantified updates of first-order structures (2006)

by parallel Sequential
Venue:In Logic for Programming, Artificial Intelligence and Reasoning, volume 4246 of LNCS