斯坦福大学
哥伦比亚大学
芝加哥大学
加州大学伯克利分校
ISBN: 9780444508133 出版年:2001 页码:1,187 North Holland_RM
Handbook of Automated Reasoning