Simon Cruanes. Logtk: A Logic ToolKit for Automated Reasoning and its Implementation. In Stephan Schulz 0001, Leonardo de Moura, Boris Konev, editors, 4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR 2014, Vienna, Austria, 2014. Volume 31 of EPiC Series in Computing, pages 39-49, EasyChair, 2014. [doi]
@inproceedings{Cruanes14,
title = {Logtk: A Logic ToolKit for Automated Reasoning and its Implementation},
author = {Simon Cruanes},
year = {2014},
url = {http://www.easychair.org/publications/paper/Logtk_A_Logic_ToolKit_for_Automated_Reasoning_and_its_Implementation},
researchr = {https://researchr.org/publication/Cruanes14},
cites = {0},
citedby = {0},
pages = {39-49},
booktitle = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR 2014, Vienna, Austria, 2014},
editor = {Stephan Schulz 0001 and Leonardo de Moura and Boris Konev},
volume = {31},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}