Indiana University.;
机译:欺骗性语言工作台:语言和IDE的声明式规范的规则
机译:势在必行与陈述约束规范语言:受控实验
机译:Prolog中的特定领域语言,用于规则和本体中的声明式专业知识
机译:Kanor显式交流的声明性语言
机译:数据库分析中的透明度,性能和可扩展性的陈述语言和系统
机译:面向层的生物建模声明性语言方法
机译:声明性代理语言和技术:2003年7月15日在澳大利亚维多利亚州墨尔本召开的第一届声明代理语言和技术国际研讨会(DaLT 2003)的选定论文和受邀论文