@inproceedings{botincan2011,
  title = "\textsf{coreStar}: the Core of \textsf{jStar}",
  author = "Matko Botin\v{c}an and Dino Distefano and Mike Dodds and Radu Grigore and Daiva Naud\v{z}i\=unien\.e and Matthew J. Parkinson",
  year = "2011",
  booktitle = "BOOGIE~2011",
  editor = "K. Rustan M. Leino and Micha{\l} Moskal",
  pages = "65--77",
}