Hiromu Hiidome, Yuichi Goto, Jingde Cheng. A Memory-Efficient Algorithm with Level-Order Unary Degree Sequence for Forward Reasoning Engines. In Ngoc Thanh Nguyen, Duong Hung Hoang, Tzung-Pei Hong, Hoang Pham, Bogdan Trawinski, editors, Intelligent Information and Database Systems - 10th Asian Conference, ACIIDS 2018, Dong Hoi City, Vietnam, March 19-21, 2018, Proceedings, Part I. Volume 10751 of Lecture Notes in Computer Science, pages 59-70, Springer, 2018. [doi]
Abstract is missing.