Coven, E. M., I. Kan, and J. Yorke. Pseudo-orbit shadowing in the family of tent maps. Dougherty, D., and P. Johann. Sci., to appear. Dougherty, D., F. Otto, and P. Narendran.
Some independence results for equational unification.
In Proceedings of the Sixth International Conference on Rewriting Techniques Applications, Kaiserlauten, Germany, 1995. Dougherty, D., and R. Subrahmanyam. Equality between functionals in the presence of coproducts. In Proceedings of the Tenth IEEE Symposium on Logic in Computer Science, San Diego, 1995. Dougherty, D. Higher-order unification via combinators.