Coverset Induction with Partiality and Subsorts: A Powerlist Case Study.

Joe Hendrix, Deepak Kapur, Jos Meseguer

Browse the full ITP paper archive.