Domain-Type-Guided Refinement Selection Based on Sliced Path Prefixes. Beyer, D., Löwe, S., & Wendler, P. CoRR, 2015.
Domain-Type-Guided Refinement Selection Based on Sliced Path Prefixes [link]Paper  bibtex   
@article{DBLP:journals/corr/0001LW15,
  author    = {Dirk Beyer and
               Stefan L{\"{o}}we and
               Philipp Wendler},
  title     = {Domain-Type-Guided Refinement Selection Based on Sliced Path Prefixes},
  journal   = {CoRR},
  volume    = {abs/1502.00045},
  year      = {2015},
  url       = {http://arxiv.org/abs/1502.00045},
  timestamp = {Mon, 02 Mar 2015 00:00:00 +0100},
  biburl    = {http://dblp.dagstuhl.de/rec/bib/journals/corr/0001LW15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

Downloads: 0