Marco Calautti, Sergio Greco, Irina Trubitsyna. Detecting decidable classes of finitely ground logic programs with function symbols. In Ricardo Peña, Tom Schrijvers, editors, 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013. pages 239-250, ACM, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.