Skip to content

A Refinement Operator for Theories.

Liviu Badea

VenueBILP
Year2001
ProceedingsILP

Browse the full ILP paper archive.