Jonathan D. Bright, Gregory F. Sullivan. Checking Mergeable Priority Queues. In FTCS. pages 144-153, 1994.
@inproceedings{BrightS94, title = {Checking Mergeable Priority Queues}, author = {Jonathan D. Bright and Gregory F. Sullivan}, year = {1994}, researchr = {https://researchr.org/publication/BrightS94}, cites = {0}, citedby = {0}, pages = {144-153}, booktitle = {FTCS}, }