Robinson consistency in many-sorted hybrid first-order logics.

Guillermo Badia, Tomasz Kowalski, Daniel Gaina

Browse the full AiML paper archive.