Resource Tableaux.

Didier Galmiche, Daniel Mry, David J. Pym

Browse the full CSL paper archive.