On the refinement of logic programs by means of anti-unificationстатья

Дата последнего поиска статьи во внешних источниках: 29 мая 2015 г.