28 citations · 56 across the 20 of their papers we have counts for
1 paper · 1 filter
Christian Sternagel, René Thiemann
We provide an overview of CPF, the certification problem format, and explain some design decisions. Whereas CPF was originally invented to combine three different formats for termi…