B. Han, R. Zhou, C. Xia, and X. Zhuang. Proceedings of the National Academy of Sciences of the United States of America, 114 (32):
E6678--E6685(August 2017)
W. Petersen, and M. Werning. Proceedings of the 15th International Conference on Conceptual Structures (ICCS 2007), volume 4604 of Lecture Notes in Artificial Intelligence, page 415-428. Berlin, Heidelberg, Springer-Verlag, (July 2007)