An Internet Query Language based on Intuitionistic Linear Logic. - Keehang Kwon; JaeWoo Kim; Jang-Wu Jo (SERA, 2007)