CUPL
சி. யு. பி. எல் பின்வருவனவற்றைக் குறிக்கலாம்ஃ சீனா அரசியல் அறிவியல் மற்றும் சட்ட பல்கலைக்கழகம், பெய்ஜிங், சீனா கார்னெல் பல்கலைக்கழகம் உலகளாவிய நிரல்படுத்தக்கூடிய தர்க்கத்திற்கான நிரலாக்க மொழி தொகுப்பாளர், நிரல்படுத்தக்கூடிய வரிசை தர்க்கம் (தர்க்க சாதனங்கள், இன்க்.