Terminating Non-disjoint Combined Unification

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-68446-4_6 ◽

2021 ◽

pp. 113-130

Author(s):

Serdar Erbatur ◽

Andrew M. Marshall ◽

Christophe Ringeissen

Download Full-text