J. Delicaris, J. Stübbe, S. Schupp, and A. Remke. VALUETOOLS, volume 539 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 170-182. Springer, (2023)
M. Niehage, and A. Remke. VALUETOOLS, volume 539 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 61-81. Springer, (2023)