Invited Talk: Coherentisation of First-Order Logic.

Roy Dyckhoff

Browse the full TABLEAUX paper archive.