ZHANG, G.Q.AND OTHERS DOMAIN THEORY, LOGIC AND COMPUTATION:PROCEEDINGS OF THE 2nd INTERNATIONAL SYMPOS - Dordrecht Kluwer Academic 2003 - vi+196p.,24X16Cms. ISBN: 1402018320 Dewey Class. No.: 621.3819642 Z633