A Critique of OpenMath and Thoughts on Encoding Mathematics
Open issues regarding OpenMath; a call for real-world applications to vet OpenMath. By Richard Fateman.

No queries for www.cs.berkeley.edu/~fateman/papers/openmathcrit.pdf