C O - INDUCTIVE LOGIC PROGRAMMING AND ITS APPLICATIONS.
Virtual Machines and Compilers Discrete Mathematics and Its Applications Baojian Hua [email protected].