1. Learning propositional Horn sentences with hints;Angluin,1987
2. Learning conjunctions of Horn clauses;Angluin;Proc. 31st Ann. Symp. on Foundations of Computer Science,1990
3. Polynomial-time inference of all valid implications for Horn and related formulae;Boros;Ann. Math. Artif. Intell.,1990
4. Logic Minimization Algorithms for VLSI Synthesis;Brayton,1984
5. Very fast decision table execution of propositional expert systems;Colomb;Proc. 8th Nat. Conf. on Artificial Intelligence, AAAI-90,1990