Keehang Kwon, JaeWoo Kim, Jang-Wu Jo. An Internet Query Language based on Intuitionistic Linear Logic. In 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007), August 20-22, 2007, Haeundae Grand Hotel, Busan, Korea. pages 98-100, IEEE Computer Society, 2007. [doi]
Abstract is missing.