| Original language | Undefined/Unknown |
|---|---|
| Title of host publication | Proceedings of the Eleventh Belgium/Netherlands Artificial Intelligence Conference |
| Editors | E. Postma, M. Gyssens |
| Place of Publication | Maastricht |
| Pages | 11-17 |
| Number of pages | 7 |
| Publication status | Published - 1999 |
The complexities of a refinement operator for prenex conjuctive normal forms
SH Cheng
Research output: Chapter/Conference proceeding › Chapter › Academic