co-LODEX : A Cooperative Logic
Design Expert System
next previous contents