P-KIMMO: A Prolog Implementation of the Two Level Model - Lee, Kang-Hyuk (ERIC, Resources in Education (RIE))