| Title | Separating Auxiliary Arity Hierarchy of First-Order Incremental Evaluation Using (3+1)-ary Input Relations |
| Publication Type | Journal Article |
| Year of Publication | 2000 |
| Authors | Guozhu Dong, Louxin Zhang |
| Full Text | Guozhu Dong and Louxin Zhang. Separating Auxiliary Arity Hierarchy of First-Order Incremental Evaluation Using (3+1)-ary Input Relations. International Journal of Foundations of Computer Science, Vol. 11, No. 4, pp 573-578, 2000. |
