Combining the Lazy Label Evaluation with Focusing Techniques in an ATMS

Mugur M. Tatar. Combining the Lazy Label Evaluation with Focusing Techniques in an ATMS. In ECAI. pages 160-164, 1994.

Abstract

Abstract is missing.