Learning a subclass of k-quasi-Horn formulas with membership queries | Publicación