Checking Mergeable Priority Queues

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},
}