The Counting Problem in the Light of Role Kinds.

Published in: AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)