Dean Kuo. Verification of a Two Pass Restart Algorithm for ARIES. In Australian Database Conference. pages 289-300, 1993.
@inproceedings{Kuo93, title = {Verification of a Two Pass Restart Algorithm for ARIES}, author = {Dean Kuo}, year = {1993}, researchr = {https://researchr.org/publication/Kuo93}, cites = {0}, citedby = {0}, pages = {289-300}, booktitle = {Australian Database Conference}, }