On Finding Acyclic Subhypergraphs. - Kouichi Hirata; Megumi Kuwabara; Masateru Harao (FCT, 2005)

On Generalization and Subsumption for Ordered Clauses. - Megumi Kuwabara; Takeshi Ogawa; Kouichi Hirata; Masateru Harao (JSAI Workshops, 2005)