Logic Programming and Automated Reasoning

... International Conference, LPAR ... : Proceedings

We require that all the ai occur in t since all arguments of f were certainly meant for relevance . f must not be ... a candidate term means to check whether the outer structure of the term corresponds to a legal rule in the context of ...