122
Voted
FROCOS
2011
Springer
14 years 23 days 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...