ORCID as entered in ROS
https://orcid.org/0000-0003-0885-2702
Select Publications
Theses / Dissertations
, 1992, AC1-Unifikation in der linearen logischen Programmierung, FG Intellektik, TH Darmstadt