Chandra Reddy Prasad Tadepalli Learning Horn Definitions: Theory and an Application to Planning. 77-98 1999 17 New Generation Comput. 1 db/journals/ngc/ngc17.html#ReddyT99