Wadoud Bousdira A Completion Procedure for Hierarchical Conditional Rewriting Systems. 93-107 1988 conf/alp/1988 ALP db/conf/alp/alp88.html#Bousdira88 http://dx.doi.org/10.1007/3-540-50667-5_61