@inproceedings{DBLP:conf/aaaiss/MasoloVKKM11,
  author    = {Claudio Masolo and
               Laure Vieu and
               Yoshinobu Kitamura and
               Kouji Kozaki and
               Riichiro Mizoguchi},
  title     = {The Counting Problem in the Light of Role Kinds},
  booktitle = {AAAI Spring Symposium: Logical Formalizations of Commonsense
               Reasoning},
  year      = {2011},
  ee        = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2443},
  crossref  = {DBLP:conf/aaaiss/2011-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/aaaiss/2011-6,
  title     = {Logical Formalizations of Commonsense Reasoning, Papers
               from the 2011 AAAI Spring Symposium, Technical Report SS-11-06,
               Stanford, California, USA, March 21-23, 2011},
  booktitle = {AAAI Spring Symposium: Logical Formalizations of Commonsense
               Reasoning},
  publisher = {AAAI},
  year      = {2011},
  ee        = {http://www.aaai.org/Library/Symposia/Spring/ss11-06.php},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}