Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs (bibtex)
by Matthias Schlaipfer, Georg Weissenbacher
Reference:
Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local ProofsMatthias Schlaipfer, Georg WeissenbacherJournal of Automated Reasoning, 2016, Springer.
Bibtex Entry:
@article{SW15,
  author    = {Matthias Schlaipfer and Georg Weissenbacher},
  title     = {Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs},
  journal   = {Journal of Automated Reasoning},
  year      = {2016},
  url       = {http://dx.doi.org/10.1007/s10817-016-9364-6},
  publisher = {Springer}
}
Powered by bibtexbrowser