Extending H::1::-clauses with disequalities

Helmut Seidl, Andreas Reuß. Extending H::1::-clauses with disequalities. Inf. Process. Lett., 111(20):1007-1013, 2011. [doi]

Abstract

Abstract is missing.