Lecture notes in artificial intelligence Computational Aspects of an Order-Sorted Logic with Term Declarations ;v.395
V.395