Evolution of algebraic terms 3: Term continuity and beam algorithms

David M. Clark, Lee Spector. Evolution of algebraic terms 3: Term continuity and beam algorithms. IJAC, 28(5):759-790, 2018. [doi]

Abstract

Abstract is missing.