Argument Reduction of Constrained Horn Clauses Using Equality Constraints.

Ryo Ikeda, Ryosuke Sato, Naoki Kobayashi

Browse the full APLAS paper archive.