Much of organic chemistry is based on the ability of suitably structured chemicals to bind together through the formation of covalent bonds. Biochemistry is replete with exam- ples of enzymatically catalyzed reactions in which normal body constituents can be linked through covalent bonds during the process of intermediary metabolism. The finding that xenobiotic chemicals that enter the body from the environment, are metabolized to highly reactive species, and then covalently react with cellular macromolecules to induce toxic and carcinogenic effects was an observation that spawned the...

In this monograph we study two generalizations of standard unification, E-unification and higher-order unification, using an abstract approach orig inated by Herbrand and developed in the case of standard first-order unifi cation by Martelli and Montanari. The formalism presents the unification computation as a set of non-deterministic transformation rules for con verting a set of equations to be unified into an explicit representation of a unifier (if such exists). This provides an abstract and mathematically elegant means of analysing the properties of unification in various settings by...

This Major Reference series brings together a wide range of key international articles in law and legal theory. Many of these essays are not readily accessible, and their presentation in these volumes will provide a vital new resource for both research and teaching. Each volume is edited by leading international authorities who explain the significance and context of articles in an informative and complete introduction.