1. A complete logic for Database Abstract State Machines. (6th July 2017) Authors: Ferrarotti, Flavio; Schewe, Klaus-Dieter; Tec, Loredana; Wang, Qing Journal: Logic journal of the IGPL Issue: Volume 25:Number 5(2017:Oct.) Page Start: 700 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗