Formalising the Fisherman s Folly puzzle

Pedro Cabalar, Paulo E. Santos. Formalising the Fisherman s Folly puzzle. Artificial Intelligence, 175(1):346-377, 2011. [doi]

Abstract

Abstract is missing.