@inproceedings{dblp-conf-fmcad-johnscta15,
  title = {Skolem Functions for Factored Formulas},
  author = {Ajith K. John and Shetal Shah and Supratik Chakraborty and Ashutosh Trivedi and S. Akshay},
  year = {2015},
  url = {https://dblp.org/rec/conf/fmcad/JohnSCTA15},
  booktitle = {FMCAD 2015}
}