Hannu Jaakkola, Hannu Kangassalo, Eiji Kawaguchi: Information Modelling and Knowledge Bases XII: Tenth European-Japanese Conference on Information Modelling and Knowledge Bases, EJC 2000, Saariselkä, Finland, May 8-11, 2000. Frontiers in Artificial Intelligence and Applications 67, IOS Press 2001, ISBN 1-58603-163-5