Using modes to ensure subject reduction for typed logic programs with subtyping. Pages 214–226 of (2000)

by J G Smaus, F Fages, P Deransart
Venue:Proceedings of foundations of software technology and theoretical computer science FSTTCS’2000. LNCS