@inproceedings{DBLP:conf/ictai/CatBDD13,
  author    = {Broes de Cat and
               Bart Bogaerts and
               Jo Devriendt and
               Marc Denecker},
  title     = {Model Expansion in the Presence of Function Symbols Using
               Constraint Programming},
  booktitle = {ICTAI},
  year      = {2013},
  pages     = {1068-1075},
  ee        = {http://dx.doi.org/10.1109/ICTAI.2013.159},
  crossref  = {DBLP:conf/ictai/2013},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ictai/2013,
  title     = {2013 IEEE 25th International Conference on Tools with Artificial
               Intelligence, Herndon, VA, USA, November 4-6, 2013},
  booktitle = {ICTAI},
  publisher = {IEEE},
  year      = {2013},
  ee        = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6734837},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}