A Decision Procedure for Fusion Logic

1  Introduction

2  Motivation

3  Fusion Logic

4  Decision Procedure for Fusion Logic

  References