@InProceedings{Cru14,
    Author       = "Cruanes, S.",
    Year         = "2014",
    Title        = "{Logtk: A Logic ToolKit for Automated Reasoning and its
                    Implementation}",
    Editor       = "Schulz, S. and de Moura, L. and Konev, B.",
    BookTitle    = "{Proceedings of the 4th Workshop on Practical Aspects
                    of Automated Reasoning}",
    Place        = "Vienna, Austria",
    Series       = "EPiC Series in Computing",
    Number       = "31",
    Pages        = "39-49",
    Publisher    = "EasyChair Publications",
    Comment      = ""
}