Transaction Logic Programming.

Anthony J. Bonner, Michael Kifer

Browse the full ICLP paper archive.