Computational Aspects of an Order-sorted Logic With Term Declarations | DealShopping France