Keyword:finished proof

Papers
EasyChair Preprint no. 4777