The United Nations Convention on the Rights of the Child not only grants comprehensive rights to children via international law, it also constitutes a legally binding framework under German federal law. With respect to health care, the convention establishes the "right of the child to the enjoyment of the highest attainable standard of health" and the principle that "the best interests of the c...

This qualitative study examined U.S. legal cases where battered mothers living abroad fled with their children to the United States. These women subsequently faced child abduction lawsuits brought by their batterer. The cases are governed by the Convention on Civil Aspects of International Child Abduction (the Hague Convention) which was ratified by the U.S. in 1988. Using content analysis, the...

For many years, the naming convention "@" has served the ARPANET user community for its mail system, and the substring "" has been used for other applications such as file transfer (FTP) and terminal access (Telnet). With the advent of network interconnection, this naming convention needs to be generalized to accommodate internetworking. A decision has recently been reached to...

Inductive definitions and rule inductions are two fundamental reasoning tools in logic and computer science. When inductive definitions involve binders, then Barendregt’s variable convention is nearly always employed (explicitly or implicitly) in order to obtain simple proofs. Using this convention, one does not consider truly arbitrary bound names, as required by the rule induction principle, ...