We prove that every recognizable family of partial k-paths is deenable in a counting monadic second-order logic. We also show the obstruction set of the class of partial k-paths computable for every k.

Eye Movement Desensitization and Reprocessing (EMDR) is a therapy roughly equal in efficacy to others currently available. It is argued that this treatment method is efficacious independent of the value of its component parts (e.g., eye movements) and is successful because it applies common and generally accepted principles of psychotherapy. Ten curative principles of this procedure are discuss...

Although pertussis is a vaccine-preventable disease, it has been epidemic in Australia since 1993 and recently claimed the lives of four children under three months of age. We reviewed national notifications of pertussis from 1991 to 1997 and found notification rates ranged from 2.0 per 100,000 population in 1991 to a peak of 30.5 per 100,000 population in 1994 despite pertussis vaccination cov...

In Euler and Mahjoub (1991) it is proved that the triangle-free subgraph polytope of a graph noncontractible to K,\e is completely described by the trivial inequalities and the so-called triangle and odd wheel inequalities. In this paper we show that the system defined by those inequalities is TDI for a subclass of that class of graphs. As a consequence we obtain the following min-max relation:...