On the appearance of sortal literals: a non substitutional framework for hybrid reasoning

Principles of Knowledge Representation and Reasoning · 1989 · 12 citations · 0 references