Expressiveness and Complexity of Full First-Order Constraints in the Algebra of Trees.

Alain Colmerauer

Browse the full AISC paper archive.