A Slice-Based Decision Procedure for Type-Based Partial Orders.

Elena Sherman, Brady J. Garvin, Matthew B. Dwyer

Browse the full CADE paper archive.