Handbook of automated reasoning. Volume I (©2001) - Unknown
No abstract available