Soft Sorting in Logic Programming. - Jian Chen 042; John Staples (ALPUK, 1992)

Defining Soft Sortedness by Abstract Interpretation. - Jian Chen 042; John Staples (MFCS, 1993)

Soft sorting: integrating static and dynamic sort checking - Jian Chen 042 (1993)