Theorem proving: Resolution, non-resolution and by abstraction
experimental using modular programming methodology
Knowledge-base resolution system
The impact of computer information systems on a traditional industrial sector in India
