"Computational Aspects of an Order-Sorted Logic with Term Declarations" - читать интересную книгу автора