A deductive pattern matcher (1988)

by R MacGregor
Venue:In Proceedings of the 1988 National Conference on Arti cial Intelligence, St Paul, MN