TPTP Reference: Sud19

TPTP Reference: `Sud19`

@InProceedings{Sud19,
    Author       = "Suda, M.",
    Year         = "2019",
    Title        = "{Aiming for the Goal with SInE}",
    Editor       = "Benzm{\"u}ller, C. and Lisetti, C. and Theobald, M.",
    BookTitle    = "{Proceedings of the 5th and 6th Vampire Workshops}",
    Place        = "Oxford, United Kingdom; Lisboa, Portugal",
    Series       = "EPiC Series in Computing",
    Number       = "71",
    Pages        = "38–44",
    Publisher    = "EasyChair Publications",
    Comment      = ""
}