A Conflict-Driven Solving Procedure for Poly-Power Constraints Cheng-Chao HuangMing XuZhi-Bin Li OriginalPaper 05 December 2018 Pages: 1 - 20
ExpTime Tableaux with Global Caching for Hybrid PDL Linh Anh Nguyen OriginalPaper 01 January 2019 Pages: 21 - 52
Automating Free Logic in HOL, with an Experimental Application in Category Theory Christoph BenzmüllerDana S. Scott OriginalPaper 01 January 2019 Pages: 53 - 72
Priority Inheritance Protocol Proved Correct Xingyuan ZhangChristian UrbanChunhan Wu OriginalPaper Open access 12 February 2019 Pages: 73 - 95
Politeness and Combination Methods for Theories with Bridging Functions Paula ChocronPascal FontaineChristophe Ringeissen OriginalPaper 22 January 2019 Pages: 97 - 134
A Prover Dealing with Nominals, Binders, Transitivity and Relation Hierarchies Marta Cialdea Mayer OriginalPaper 12 February 2019 Pages: 135 - 165