Stuart C. Shapiro. The Jobs Puzzle: A Challenge for Logical Expressibility and Automated Reasoning. In Logical Formalizations of Commonsense Reasoning, Papers from the 2011 AAAI Spring Symposium, Technical Report SS-11-06, Stanford, California, USA, March 21-23, 2011. AAAI, 2011. [doi]
Abstract is missing.