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

CP Willis, DJ Paddon

Research output: Working paper

Translated title of the contribution	Combining explanation-based learning and Knuth-Bendix completion for equational reasoning
Original language	English
Publisher	University of Bristol
Number of pages	5
Publication status	Published - 1992

Other: # CSTR-92-10

Cite this

@techreport{ed0709643764431e91933ac6a4b6664e,

title = "Combining explanation-based learning and Knuth-Bendix completion for equational reasoning",

author = "CP Willis and DJ Paddon",

note = "Other: # CSTR-92-10",

year = "1992",

language = "English",

publisher = "University of Bristol",

address = "United Kingdom",

type = "WorkingPaper",

institution = "University of Bristol",

}