On the completeness of compositional reasoning methods

Kedar S. Namjoshi, Richard J. Trefler. On the completeness of compositional reasoning methods. ACM Trans. Comput. Log., 11(3), 2010. [doi]

Abstract

Abstract is missing.