Finkler, Ulrich Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Mehlhorn, Kurt Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Finkler, U., & Mehlhorn, K. (1999). Checking Priority Queues. In Proceedings of the Tenth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA-99) (pp. 901-902). Philadelphia, PA, USA: SIAM.