Keyword:red-black trees

Publications
Efficient and Verified Continuous Double Auctions Mohit Garg and Suneel Sarswat EasyChair Preprint 10337