Tracks of relations and equivalences-based reasoning
scientific article; zbMATH DE number 5900602