Algebraic Intruder Deductions.

David A. Basin, Sebastian Mdersheim, Luca Vigan

Browse the full LPAR paper archive.