Reference

2015
Abstract Domains and Solvers for Sets Reasoning
LPAR 2015: International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Abstract

BibTeX

@string{LPAR = "International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR)"}
@inproceedings{sets-lpar15,
  author = {Arlen Cox and Bor-Yuh Evan Chang and Huisong Li and Xavier Rival},
  title = {Abstract Domains and Solvers for Sets Reasoning},
  booktitle = LPAR,
  year = {2015},
  pages = {356-371},
  
}