Skip to content

Higher Order Refinement Heuristics for Rule Validation.

Hans-Werner Kelbassa

Year2002
ProceedingsFLAIRS

Browse the full FlAIRS paper archive.