Formalising the Fisherman's Folly puzzle
scientific article; zbMATH DE number 5909446