Michael Kifer. Transaction Logic: An Introduction (Abstract). In ILPS. pages 47-48, 1997.
@inproceedings{Kifer97, title = {Transaction Logic: An Introduction (Abstract)}, author = {Michael Kifer}, year = {1997}, tags = {logic}, researchr = {https://researchr.org/publication/Kifer97}, cites = {0}, citedby = {0}, pages = {47-48}, booktitle = {ILPS}, }