A logic for reasoning about relative similarity (1997)

by B Konikowska
Venue:Studia Logica