Author:
Publication: Artificial Intelligence
A powerful and efficient structural pattern recognition system
Making computational sense of Montague's intensional logic