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, volume 57, number 1, pages 3–36, 2016.
Bibtex Entry:
@string{jar="Journal of Automated Reasoning"}
@article{DBLP:journals/jar/SchlaipferW16,
    author = "Schlaipfer, Matthias and Weissenbacher, Georg",
    doi = "10.1007/s10817-016-9364-6",
    journal = JAR,
    number = "1",
    pages = "3--36",
    title = "{Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs}",
    url = "http://dx.doi.org/10.1007/s10817-016-9364-6",
    volume = "57",
    year = "2016"
}
Powered by bibtexbrowser