Three improvements to the top-down solver
Article in Mathematical Structures in Computer Science (October 2021)
The most recent citing publication is shown below. View this citation on Dimensions.
Article in Mathematical Structures in Computer Science (October 2021)