A Decision Procedure for Fusion Logic
1 Introduction2 Motivation3 Fusion Logic4 Decision Procedure for Fusion Logic5 Future work