Database transactions in purely declarative logic programming language (1996)

by David B Kemp, Thomas C Conway, Evan P Harris, Fergus J Henderson, Kotagiri Ramamohanarao, Zoltan Somogyi