Metalevel transformation of strategies
Journal:
Journal of Logical and Algebraic Methods in Programming
ISSN: 2352-2216, 2352-2208
Year of publication: 2022
Volume: 124
Type: Article