Fausto Giunchiglia;Paolo Traverso
-;-
Adaptation of declaratively represented methods in proof planning
Annals of Mathematics and Artificial Intelligence