Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: and can easily be seen to be undecidable in the general case. Therefore, previous work has focused on identifying specic conditions and methods in which the problem is decidable.  continue the investigation in this paper, building on previous combination results, [2, 4, 7] and [6].  are able to develop a novel approach to the non-disjoint combination problem. The approach is based on a new set of restrictions and combination method such that if the restrictions are satised the method produces an algorithm for the unication problem in the union of non-disjoint equational theories.
['Serdar Erbatur', 'Deepak Kapur', 'Andrew M. Marshall', 'Paliath Narendran', 'Christophe Ringeissen']
I am writing a research paper on a idea Hierarchical Combination of Unication Algorithms (Extended Abstract).
[{"from": "human", "value": "I am writing a research paper on a idea Hierarchical Combination of Unication Algorithms (Extended Abstract)."}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: and can easily be seen to be undecidable in the general case. Therefore, previous work has focused on identifying specic conditions and methods in which the problem is decidable.  continue the investigation in this paper, building on previous combination results, [2, 4, 7] and [6].  are able to develop a novel approach to the non-disjoint combination problem. The approach is based on a new set of restrictions and combination method such that if the restrictions are satised the method produces an algorithm for the unication problem in the union of non-disjoint equational theories."}]