A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders.

Serenella Cerrito, Marta Cialdea Mayer

Browse the full TABLEAUX paper archive.