Keyword:red-black trees

Papers
Efficient and Verified Continuous Double Auctions Mohit Garg and Suneel Sarswat EasyChair Preprint no. 10337