James P. Delgrande, Renata Wassermann. Horn Clause Contraction Functions. J. Artif. Intell. Res. (JAIR), 48:475-511, 2013. [doi]
@article{DelgrandeW13, title = {Horn Clause Contraction Functions}, author = {James P. Delgrande and Renata Wassermann}, year = {2013}, doi = {10.1613/jair.4031}, url = {http://dx.doi.org/10.1613/jair.4031}, researchr = {https://researchr.org/publication/DelgrandeW13}, cites = {0}, citedby = {0}, journal = {J. Artif. Intell. Res. (JAIR)}, volume = {48}, pages = {475-511}, }