@Techreport{fensel1995astbelcsocwf, address = "76128 Karlsruhe, Germany", author = "Dieter Fensel and Markus Wiese and M. Zickwolff", institution = "University of Karlsruhe, Institute AIFB", note = "321", title = "Are Substitutions the Better Examples? Learning Complete Sets of Clauses with Frog", year = "1995", }