137
click to vote
FROCOS
2011
Springer
14 years 2 months ago
2011
Springer
One of the main shortcomings of the traditional methods for combining theories is the complexity of guessing the arrangement of the variables shared by the individual theories. Thi...