author = { Schmidt-Schauß, Manfred },

title = { Computational Aspects of an Order-Sorted Logic with Term Declarations },

publisher = {Springer Berlin Heidelberg},

isbn = {9783540467748},

keywords = { Artificial intelligence , Computer science , Computer Science , Unifikationstheorie , Ordnungssortierte Logik },

year = {1989},

booktitle = {Lecture Notes in Computer Science ; 395},

booktitle = {SpringerLink ; Bücher},

address = { Berlin, Heidelberg },

url = { http://slubdd.de/katalog?TN_libero_mab2 }