Rui L. Lopes, Ernesto Costa. The Squares Problem and a Neutrality Analysis with ReNCoDe. In Luis Antunes, Helena Sofia Pinto, editors, Progress in Artificial Intelligence, 15th Portuguese Conference on Artificial Intelligence, EPIA 2011, Lisbon, Portugal, October 10-13, 2011. Proceedings. Volume 7026 of Lecture Notes in Computer Science, pages 182-195, Springer, 2011. [doi]
Abstract is missing.