The ultrastructure of the serotonin (5HT) system in the spinal cord of rats was studied by an immunohistochemical peroxidase-antiperoxidase (PAP) method. Under the light microscope, 5HT immunoreactive staining was observed as brown-colored dots in the anterior horn, lateral horn, posterior horn and pericentral canal region. These positively staining dots were probably indicative of 5HT immunore...

Unicornuate uterus with noncommunicating rudimentary horn occurs due to incomplete fusion of mullerian ducts. Pregnancy in this horn is a rare phenomenon usually resulting in rupture during second trimester of pregnancy. Prerupture diagnosis of pregnancy in rudimentary horn with ultrasonography is technically difficult, with sensitivity of 30%. We report a case of ruptured non-communicating rud...

In this paper, quantified Horn formulas with free variables (QHORN∗) are investigated. The main result is that any quantified Horn formula Φ of length |Φ| with free variables, |∀| universal quantifiers and an arbitrary number of existential quantifiers can be transformed into an equivalent formula of length O(|∀| · |Φ|) which contains only existential quantifiers. Moreover, it is shown that qua...