as written by one reviewer: this requires FLP checking and according benchmarks should also be discussed and results should be shown
[for (G) type external atoms, the existing benchmarks already contain sufficient recursion through external atoms, but these do not have a FLP-relevant effect as their semantics do not depend on the interpretation]
as written by one reviewer: this requires FLP checking and according benchmarks should also be discussed and results should be shown
[for (G) type external atoms, the existing benchmarks already contain sufficient recursion through external atoms, but these do not have a FLP-relevant effect as their semantics do not depend on the interpretation]