Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395) | EKB DL