Coverset Induction with Partiality and Subsorts: A Powerlist Case Study

Joe Hendrix,D. Kapur,J. Meseguer
DOI: https://doi.org/10.1007/978-3-642-14052-5_20
2010-07-11
Abstract:
What problem does this paper attempt to address?