Logic Programming Representation of the Compound Term Composition Algebra

Anastasia Analyti, Ioannis Pachoulakis. Logic Programming Representation of the Compound Term Composition Algebra. Fundamenta Informaticae, 73(3):321-360, 2006. [doi]

Abstract

Abstract is missing.