"E-Unification based on Generalized Embedding."

Peter Szabó, Jörg H. Siekmann (2021)

Details and statistics

DOI: 10.1017/S0960129522000019

access: closed

type: Journal Article

metadata version: 2022-05-20

a service of  Schloss Dagstuhl - Leibniz Center for Informatics