The complexities of a refinement operator for prenex conjuctive normal forms

SH Cheng

Research output: Chapter/Conference proceedingChapterAcademic

Original languageUndefined/Unknown
Title of host publicationProceedings of the Eleventh Belgium/Netherlands Artificial Intelligence Conference
EditorsE. Postma, M. Gyssens
Place of PublicationMaastricht
Pages11-17
Number of pages7
Publication statusPublished - 1999

Cite this