A Deductive Pattern Matcher (1988)

by R MacGregor
Venue:In Proceedings of AAAI-88, The National Conference on Artificial Intelligence. St