1 paper
Michael Fisher, Clare Dixon, Martin Peim
In this article, we examine how clausal resolution can be applied to a specific, but widely used, non-classical logic, namely discrete linear temporal logic. Thus, we first define…