Piero A. Bonatti. Prototypes for Reasoning with Infinite Stable Models and Function Symbols. In Thomas Eiter, Wolfgang Faber, Miroslaw Truszczynski, editors, Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings. Volume 2173 of Lecture Notes in Computer Science, pages 416-419, Springer, 2001. [doi]
Abstract is missing.