Transaction Restarts in Prolog Database Systems. - Shridhar Acharya; Gael N. Buckley (SIGMOD Conference, 1985)