A Memory-Efficient Algorithm with Level-Order Unary Degree Sequence for Forward Reasoning Engines. - Hiromu Hiidome; Yuichi Goto; Jingde Cheng (ACIIDS (1), 2018)