On Inferences of Full First-Order Hierarchical Decompositions

Sebastian Link. On Inferences of Full First-Order Hierarchical Decompositions. Fundamenta Informaticae, 106(2-4):233-258, 2011. [doi]

Abstract

Abstract is missing.