Computational Aspects Of An Ordersorted Logic With Term Declarations
Publisher: Springer
Published: 1989
ISBN-13: 9783540517054