A new methodology for developing deduction methods (0)

by R A Schmidt
Venue:Annals of Mathematics and Artificial Intelligence