Stem avaoid$ (all stems)
1 papers:
PLILP-1991-ProiettiP #logic programming #named #order #source code- Unfolding — Definition — Folding, in this Order, for Avaoiding Unnecessary Variables in Logic Programs (MP, AP), pp. 347–358.
PLILP-1991-ProiettiP #logic programming #named #order #source code