Manfred Schmidt-Schau

• Computational Aspects Of An Ordersorted Logic With Term Declarations