作者：João M. B. Cavalcanti, David Robertson
摘要
论文关键词：Automated synthesis, Computational logic, Web site application
论文评审过程：
论文官网地址：https://doi.org/10.1007/s10115-002-0088-z
