Carsten Lutz
This person was found in either the SIGSAM or JSYMCOMP bibliographies. There may be some errors in how their name was transcribed.
The following are their known coauthors:
Frank Wolter with a tentative wikidata QID: Q102123504
This person was found in either the SIGSAM or JSYMCOMP bibliographies. There may be some errors in how their name was transcribed.
Frank Wolter with a tentative wikidata QID: Q102123504