DMCA

Tableaux for Reasoning About Atomic Updates (2001)

by Christian G. Fermüller , Georg Moser , Richard Zach