10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990, Proceedings: 1990: International Conference Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1990)