@InCollection{SK18-SEP,
    Author       = "Shapiro, S. and Kouri Kissel, T.",
    Year         = "2018",
    Title        = "{Classical Logic}",
    Editor       = "Zalta, E.",
    BookTitle    = "{Stanford Encyclopedia of Philosophy}",
    Publisher    = "Stanford University Press",
    Address      = "Stanford, USA",
    Comment      = ""
}

@InProceedings{SK18,
    Author       = "Sutcliffe, G. and Kotelnikov, E.",
    Year         = "2018",
    Title        = "{TFX: The TPTP Extended Typed First-order Form}",
    Editor       = "Konev, B. and Urban, J. and Schulz, S.",
    BookTitle    = "{Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning}",
    Place        = "Oxford, United Kingdom",
    Series       = "CEUR Workshop Proceedings",
    Number       = "2162",
    Pages        = "72-87",
    Comment      = ""
}