Combining the Lazy Label Evaluation with Focusing Techniques in an ATMS.

Mugur M. Tatar

Browse the full ECAI paper archive.