Libri di sorting

Where Do Recyclable Materials Go?

Computational aspects of an order-sorted logic with term declarations

Many-sorted logic and its applications

Computational Aspects Of An Ordersorted Logic With Term Declarations

Designing sorting networks