Completeness for Ancestral Logic via a Computationally-Meaningful Semantics.

Liron Cohen

Browse the full TABLEAUX paper archive.