ML-1998-10: Carlos Areces, Verónica Becher, Sebastián Ferro Characterization Results for d-Horn Formulas 1.Full Text, 2.Abstract. < Back
