A Method for Constructing a Complex Hierarchical Logic (HS-Logic) | IEEE Conference Publication | IEEE Xplore