The authors of articles in this collection seek to answer the following questions: how to use and design appriopriate tools which facilitate research ...

The growth of global information and communication networks over the past decade, the burst of activity in technologies, applications, and business processes ...

The main aim of unification is to make two symbolic expressions equal, or identical, by substituting their variables with other expressions. Unification ...