@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 = "" }