3 citations · 3 across the 1 of their papers we have counts for
1 paper
Christoph Wernhard
CD Tools is a Prolog library for experimenting with condensed detachment in first-order ATP, which puts a recent formal view centered around proof structures into practice. From th…