Tore Langholm What is a Horn Clause in Partial Logic? 65-77 1990 conf/jelia/1990 JELIA db/conf/jelia/jelia90.html#Langholm90 http://dx.doi.org/10.1007/BFb0018434