111
Voted
FROCOS
2011
Springer
14 years 11 hour 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...