%0 Journal Article %1 journals/ai/CabalarS11 %A Cabalar, Pedro %A Santos, Paulo E. %D 2011 %J Artif. Intell. %K dblp %N 1 %P 346-377 %T Formalising the Fisherman's Folly puzzle. %U http://dblp.uni-trier.de/db/journals/ai/ai175.html#CabalarS11 %V 175

@article{journals/ai/CabalarS11, added-at = {2010-12-28T00:00:00.000+0100}, author = {Cabalar, Pedro and Santos, Paulo E.}, biburl = {https://www.bibsonomy.org/bibtex/255913075d4d5caf8ae333475b06bf120/dblp}, ee = {http://dx.doi.org/10.1016/j.artint.2010.04.004}, interhash = {2b2b5622d441cdf7ebdfbdc025a69a60}, intrahash = {55913075d4d5caf8ae333475b06bf120}, journal = {Artif. Intell.}, keywords = {dblp}, number = 1, pages = {346-377}, timestamp = {2010-12-29T11:31:50.000+0100}, title = {Formalising the Fisherman's Folly puzzle.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai175.html#CabalarS11}, volume = 175, year = 2011 }