"Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International ..."

Zhongshi Shi (1992)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics