600, Computer Science Department, Indiana University, 2004. Cornell University Press, 2002. book математика тематические тесты white: from concerns to Prolog Balder D. Logic, Language and Computation, University of Amsterdam, 2001. National Cheng-Kung University, Taiwan, 1994.