Abstract
A property is defined which generalizes both the disjunction property and the instantiation property of Horn clause theories. A necessary and sufficient condition is given for a theory in order to have that property and examples are used to show its applicability.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
