F-Logic Programming and Terminological Constraints.

Published in: ICLP Workshop: Integration of Declarative Paradigms (1994)