Lab 9 Documents:

• Lab 9 assignment
• source code:  CNFRule