1. Dagger: a tool for analysis and optimization of decision trees and rules;Alkhalid,2011
2. Extensions of dynamic programming as a new tool for decision tree optimization;Alkhalid,2013
3. Logical methods of control of work of electric schemes;Chegis;Tr. Mat. Inst. Steklova,1958
4. Numerical analysis of certain free distributive structures;Church;Duke Math. J.,1940
5. Test routines based on symbolic logic statements;Eldred;J. ACM,1959