On the Appearance of Sortal Literals: a Non Substitutional Framework for Hybrid Reasoning

Published: 1989, Last Modified: 25 Jan 2025KR 1989EveryoneRevisionsBibTeXCC BY-SA 4.0
Loading