Marta Arias José L. Balcázar Canonical Horn Representations and Query Learning. 156-170 2009 ALT http://dx.doi.org/10.1007/978-3-642-04414-4_16 conf/alt/2009 db/conf/alt/alt2009.html#AriasB09