Tree tuple languages from the logic programming point of view
inductive definitions over language expressions
scientific article; zbMATH DE number 5149179