Combining explanation-based learning and Knuth-Bendix completion for equational reasoning

CP Willis, DJ Paddon

Research output: Working paperWorking paper and Preprints

Translated title of the contributionCombining explanation-based learning and Knuth-Bendix completion for equational reasoning
Original languageEnglish
PublisherUniversity of Bristol
Number of pages5
Publication statusPublished - 1992

Bibliographical note

Other: # CSTR-92-10

Cite this