Levesque, H. J., Brachman, R. J. (1987). Expressiveness and Tractability in Knowledge Representation and Reasoning. Computational Intelligence 3.
(1987)
Languages mentioned
FL
{1987}
FL0
{1987}