"Cheomseongdae"@cs .