Automated deduction -- CADE-10. 10th international conference, Kaiserslautern, Germany, July 24--27, 1990. Proceedings
scientific article; zbMATH DE number 47197