Rocqshop'25 में प्रस्तुत किया गया (ITP'25 से संबद्ध)
Torrini और अन्य (शनि,) ने इस प्रश्न का अध्ययन किया।