DFL - A Hybrid Integration of Descriptions and Rules, using F-Logic as Underlying Semantics.

db/conf/krdb/BalabanE96.html Mira Balaban Adi Eyal DFL - A Hybrid Integration of Descriptions and Rules, using F-Logic as Underlying Semantics. 1996 conf/krdb/96 KRDB db/conf/krdb/krdb96.html#BalabanE96 KRDB1996/X02.pdf http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-4/balaban.ps