Automated deduction -- CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings
scientific article; zbMATH DE number 918673